π-演算

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

参考资料编辑

  1. ^ Milner R, Parrow J, Walker D. A calculus of mobile processes, i[J]. Information and computation, 1992, 100(1): 1-40.