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.
- 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