# Process Calculi

In computer science, the process calculi (or process algebras) are a diverse family of related approaches for formally modelling concurrent systems. Process calculi provide a tool for the high-level description of interactions, communications, and synchronizations between a collection of independent agents or processes. They also provide algebraic laws that allow process descriptions to be manipulated and analyzed, and permit formal reasoning about equivalences between processes (e.g., using bisimulation). Leading examples of process calculi include CSP, CCS, ACP, and LOTOS. More recent additions to the family include the π-calculus, the ambient calculus, PEPA, the fusion calculus and the join-calculus.

### Other articles related to "process calculi, process":

Actor Model And Process Calculi History - Process Calculi and Actor Model - Further Co-evolution
... above, introduced dynamic topology into the process calculi by allowing dynamic creation of processes and for the names to be passed among different processes ... from the Actor model communication in the process calculi is not direct as in the Actor model but rather indirectly through channels (see Actor model ... interesting co-evolutions between the Actor Model and Process Calculi ...
Process Calculi - Relationship To Other Models of Concurrency
... A process calculus is then a formal language imposed on a history monoid in a consistent fashion ... Thus, a process calculus is to a history monoid what a formal language is to a free monoid (a formal language is a subset of the set of all possible finite-length strings of an ... for communication is one of the features distinguishing the process calculi from other models of concurrency, such as Petri nets and the Actor model (see Actor model ...
Process Calculus - Relationship To Other Models of Concurrency
... A process calculus is then a formal language imposed on a history monoid in a consistent fashion ... Thus, a process calculus is to a history monoid what a formal language is to a free monoid (a formal language is a subset of the set of all possible finite-length strings of an alphabet ... The use of channels for communication is one of the features distinguishing the process calculi from other models of concurrency, such as Petri nets and the Actor ...
Process Calculus
... In computer science, the process calculi (or process algebras) are a diverse family of related approaches for formally modelling concurrent systems ... Process calculi provide a tool for the high-level description of interactions, communications, and synchronizations between a collection of independent agents or processes ... They also provide algebraic laws that allow process descriptions to be manipulated and analyzed, and permit formal reasoning about equivalences between processes ...
Process Calculus - Current Research
... Various process calculi have been studied and not all of them fit the paradigm sketched here ... This is to be expected as process calculi are an active field of study ... Currently research on process calculi focuses on the following problems ...

### Famous quotes containing the word process:

[Wellesley College] is about as meaningful to the educational process in America as a perfume factory is to the national economy.
Nora Ephron (b. 1941)