π-演算
 | 此條目需要擴充。 (2014年6月16日) |
在計算機科學中，π-演算（pi-演算，英語：π-calculus，pi-calculus）是一套進程演算的形式系統，最早由Robin Milner、Joachim Parrow和David Walker於1992年在通信系統演算的基礎上設計而成[1]。
π-演算語法簡單，但表達能力很強。函數式程序可以被表示成π-演算。π-演算善於把計算過程表示成兩方的通信形式。 π-演算一開始被用於描述並發系統，後來又被用於業務過程[2]和分子生物學[3] 。
參考資料
- ^ Milner R, Parrow J, Walker D. A calculus of mobile processes, i[J]. Information and computation, 1992, 100(1): 1-40.
- ^ Object Management Group. Business Process Model and Notation (BPMN) Version 2.0. 2011: 21 [2023-04-11]. （原始內容存檔於2023-05-24）.
- ^ Regev, Aviv; William Silverman; Ehud Y. Shapiro. Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra. Pacific Symposium on Biocomputing. 2001: 459–470. ISBN 978-981-02-4515-3. PMID 11262964. doi:10.1142/9789814447362_0045.
| 一般 | |
|---|---|
| 進程演算 | |
| 經典問題 | |
 | 這是一篇電腦科學小作品。您可以透過編輯或修訂擴充其內容。 |