π-演算

在計算機科學中，π-演算（pi-演算，英語：π-calculus，pi-calculus）是一套進程演算的形式系統，最早由Robin Milner、Joachim Parrow和David Walker於1992年在通信系統演算（英語：Calculus of communicating systems）的基礎上設計而成^[1]。

π-演算語法簡單，但表達能力很強。函數式程序可以被表示成π-演算。π-演算善於把計算過程表示成兩方的通信形式。 π-演算一開始被用於描述並發系統，後來又被用於業務過程^[2]和分子生物學^[3] 。