Home / Examples
Specification of the pi-calculus

The syntax and one-step transition semantics for the pi-calculus (including early and late transitions and the piI-calculus) are given in the following few files.


Home / Examples