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.

Read more about Process Calculi: Essential Features, Mathematics of Processes, Discrete and Continuous Process Algebra, History, Current Research, Software Implementations, Relationship To Other Models of Concurrency

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

**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 ...

... 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 ...

... 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 ...

... 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)