Π-演算 在计算机科学中π演算pi演算英语πcalculuspicalculus是一套进程演算的形式系统最早由Robin MilnerJoachim Parrow和David Walker于年在通信系统演算英语Calculus of communicating systems的基础上设计而成 π演算语法简单但表达能力很强函数式程序可以被表示成π演算π演算善于把计算过程表示成两方的通信形式 π演算一开始被用于描述并发系统后来又被用于业务过程和分子生物学