跳转到内容

π-演算

维基百科，自由的百科全书

在计算机科学中，π-演算（pi-演算，英语：π-calculus，pi-calculus）是一套进程演算的形式系统，最早由Robin Milner、Joachim Parrow和David Walker于1992年在通信系统演算（英语：Calculus of communicating systems）的基础上设计而成[1]。

π-演算语法简单，但表达能力很强。函数式程序可以被表示成π-演算。π-演算善于把计算过程表示成两方的通信形式。 π-演算一开始被用于描述并发系统，后来又被用于业务过程[2]和分子生物学[3] 。

参考资料

[编辑]
  1. ^ Milner R, Parrow J, Walker D. A calculus of mobile processes, i[J]. Information and computation, 1992, 100(1): 1-40.
  2. ^ Object Management Group. Business Process Model and Notation (BPMN) Version 2.0. 2011: 21 [2023-04-11]. （原始内容存档于2023-05-24）. 
  3. ^ 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. 
检索自“https://wiki.matr1x.workers.dev/w/index.php?title=Π-演算&oldid=77699317”