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