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.

- core.mod: Specifies the syntax used to represent pi-calculus terms and the one step transitions common to both early and late transitions.
- early.mod: The addition rules for early transitions.
- late.mod: The addition rules for late transitions.

Home / Examples