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:


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