Category
page 1Process calculi
communicating sequential processes
formal language for concurrent systems
process calculus
diverse family of related approaches for formally modelling concurrent systems
π-calculus
In theoretical computer science, the -calculus (or pi-calculus) is a process calculus. The -calculus allows channel names to be communicated along the channels themselves, and in this matter, it is able to describe concurrent computations whose network configuration may change during the computation.
Calculus of communicating systems
process calculus
Language Of Temporal Ordering Specification
Formal specification language in computer science