^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.
演算, 此條目需要擴充, 2014年6月16日, 请協助改善这篇條目, 更進一步的信息可能會在討論頁或扩充请求中找到, 请在擴充條目後將此模板移除, 在计算机科学中, 演算, 英语, calculus, calculus, 是一套进程演算的形式系统, 最早由robin, milner, joachim, parrow和david, walker于1992年在通信系统演算, 英语, calculus, communicating, systems, 的基础上设计而成, 演算语法简单, 但表达能力很强, 函数式程序可以. 此條目需要擴充 2014年6月16日 请協助改善这篇條目 更進一步的信息可能會在討論頁或扩充请求中找到 请在擴充條目後將此模板移除 在计算机科学中 p 演算 pi 演算 英语 p calculus pi calculus 是一套进程演算的形式系统 最早由Robin Milner Joachim Parrow和David Walker于1992年在通信系统演算 英语 Calculus of communicating systems 的基础上设计而成 1 p 演算语法简单 但表达能力很强 函数式程序可以被表示成p 演算 p 演算善于把计算过程表示成两方的通信形式 p 演算一开始被用于描述并发系统 后来又被用于业务过程 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 nbsp 这是一篇電腦科學小作品 你可以通过编辑或修订扩充其内容 查论编 取自 https zh wikipedia org w index php title P 演算 amp oldid 77699317, 维基百科,wiki,书籍,书籍,图书馆,