Π演算

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