Π-演算
来自维基百科,自由的百科全书
在计算机科学中,π-演算(pi-演算,英语:π-calculus,pi-calculus)是一套进程演算的形式系统,最早由Robin Milner、Joachim Parrow和David Walker于1992年在通信系统演算的基础上设计而成[1]。
此條目需要擴充。 (2014年6月16日) |
π-演算语法简单,但表达能力很强。函数式程序可以被表示成π-演算。π-演算善于把计算过程表示成两方的通信形式。 π-演算一开始被用于描述并发系统,后来又被用于业务过程[2]和分子生物学[3] 。
参考资料
Wikiwand - on
Seamless Wikipedia browsing. On steroids.