在计算机科学中，π-演算（pi-演算，英语：π-calculus，pi-calculus）是一套进程演算的形式系统，最早由Robin Milner、Joachim Parrow和David Walker于1992年在通信系统演算的基础上设计而成[1]。
参考资料
- ^ Milner R, Parrow J, Walker D. A calculus of mobile processes, i[J]. Information and computation, 1992, 100(1): 1-40.