Process calculation

Process calculi (also known as process algebras ) comprise a large family of approaches for the 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 enable the analysis or transformation of process descriptions.

Examples of process calculus are CSP , CCS , ACP or the Pi calculus .