Next Previous

Point 1: The Wild World of the π Calculus

---

Some abstract syntax and semantics
1. 0: inert process
2. x(y).P: input prefix
3. xy.P: output prefix
4. P | Q: parallel composition
5. (vx)P: restriction
6. !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