進程演算

在計算機科學中 ， 進程演算 （ 或進程代數 ） 是用於形式化建模併發系統的多種相關方法 。 進程演算提供了具體描述多個獨立代理人程序或者是多個進程之間交互 、 通信 、 同步的方法 ， 其中包含了對進程操作和分析的描述 、 以及證明形式化推導進程之間存在等價關係 （ 例如 ： 雙向模擬的運用 ） 的代數法則 。 關於進程演算的典例主要包括CSP 、 CCS 、 ACP ， 和LOTOS 。 最近新增的演算包括π演算 ， 環境演算 ， PEPA ， 融合演算和聯接演算 。