# Pi Calculus

Pi calculus is an abstract VM for parallel, mobile computations; for expressing concurrency. Its basic version is very low-level, but already universal. Higher-order versions encompass lambda calculus.About Pi-calculus, I've found these pages:

- Calculi for Mobile Processes (old).
- Pi-Calculus and Pict.
- There's at least one implemented language based on pi-calculus, PICT 4.1 (also here).

**This page is linked from: ** Bisimulation Blue Calculus Context Fusion Calculus Linda Piccola Semantics