Next
Previous
Point 1: The Wild World of the π Calculus
Some abstract syntax and semantics
- 0: inert process
- x(y).P: input prefix
- xy.P: output prefix
- P | Q: parallel composition
- (vx)P: restriction
- !P: replication
Operational semantics for communication:
xy.P | x(z).Q → P[y\z]Q
Quick example:
xy.yz | x(w).w(v) → yz | y(v) → 0|0