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.
Specifies the syntax used to represent pi-calculus terms and
the one step transitions common to both early and late
The addition rules for early transitions.
The addition rules for late transitions.