fbpx
维基百科

π-演算

计算机科学中,π-演算(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. 

演算, 此條目需要擴充, 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,书籍,书籍,图书馆,

文章

,阅读,下载,免费,免费下载,mp3,视频,mp4,3gp, jpg,jpeg,gif,png,图片,音乐,歌曲,电影,书籍,游戏,游戏。