在計算機科學中,進程演算(或進程代數)是用於形式化建模並發系統的多種相關方法。進程演算提供了具體描述多個獨立代理人程序或者是多個進程之間交互、通信、同步的方法,其中包含了對進程操作和分析的描述、以及證明形式化推導進程之間存在等價關係(例如:雙向模擬的運用)的代數法則。關於進程演算的典例主要包括CSP、CCS、ACP,和LOTOS。[1]最近新增的演算包括π演算,環境演算,PEPA,融合演算和聯接演算。
| 本條目存在以下問題,請協助 改善本條目或在 討論頁針對議題發表看法。
| 此條目需要精通或熟悉相關主題的編者參與及協助編輯。 (2018年6月17日) |
|