• BANI BHUSAN PRAHARAJ

A current system involves several executing components. Such a system usually allowsto carry out multiple tasks simultaneously, which can speed up the computational work of software substantially. To develop concurrent systems, process-oriented programming is considered naturally fit the design and implementation [1]. This kind of programming is founded on process algebra [2], Hoare’s Communicating Sequential Processes (CSP) [3, 4, 5] and Milner’s π-Calculus [6], which consider a concurrent system as a set of interacting processes with messages passing through chan- nels [1, 7]. It has been considered that process-oriented design and implementation could provide systems with known safety properties to prevent deadlock, livelock, process starvation [1]. Con- current systems developed by process-oriented approach are able to be efficiently distributed across multiple processors and clusters of machines [7].

Categorical Framework

"A CATEGORICAL FRAMEWORK OF CONSISTENCY IN CURRENT SYSTEMS", International Journal of Emerging Technologies and Innovative Research (www.jetir.org), ISSN:2349-5162, Vol.11, Issue 2, page no.e468-e577, February-2024, Available :http://www.jetir.org/papers/JETIRTHE2085.pdf

"A CATEGORICAL FRAMEWORK OF CONSISTENCY IN CURRENT SYSTEMS", International Journal of Emerging Technologies and Innovative Research (www.jetir.org | UGC and issn Approved), ISSN:2349-5162, Vol.11, Issue 2, page no. ppe468-e577, February-2024, Available at : http://www.jetir.org/papers/JETIRTHE2085.pdf