Process calculus

Process calculi (or process algebras also ) comprise a large family of approaches to formal modeling of concurrent systems.

They allow the abstract description of interaction, communication and synchronization between a group of independent agents or processes. Algebraic laws allow the analysis or transformation of process descriptions.

Examples of process calculi are CSP, CCS, ACP or the pi-calculus.

• Theoretical computer science
• Algebra
• Logical calculus