上海交通大学学报(英文版) ›› 2013, Vol. 18 ›› Issue (1): 29-36.doi: 10.1007/s12204-013-1365-6

• 论文 • 上一篇    下一篇

Process Passing Calculus, Revisited

YIN Qiang* (尹强), LONG Huan (龙环)   

  1. (Laboratory of Basic Study in Computing Science, MOE-MS Key Laboratory for Intelligent Computing and Intelligent Systems, Department of Computer Science and Engineering, Shanghai Jiaotong University, Shanghai 200240, China)
  • 出版日期:2013-02-28 发布日期:2013-03-19
  • 通讯作者: YIN Qiang* (尹强) E-mail:yinqiang.sjtu@gmail.com

Process Passing Calculus, Revisited

YIN Qiang* (尹强), LONG Huan (龙环)   

  1. (Laboratory of Basic Study in Computing Science, MOE-MS Key Laboratory for Intelligent Computing and Intelligent Systems, Department of Computer Science and Engineering, Shanghai Jiaotong University, Shanghai 200240, China)
  • Online:2013-02-28 Published:2013-03-19
  • Contact: YIN Qiang* (尹强) E-mail:yinqiang.sjtu@gmail.com

摘要: In the context of process calculi, higher order π calculus (Λ calculus) is prominent and popular due to its ability to transfer processes. Motivated by the attempt to study the process theory in an integrated way, we give a system study of Λ calculus with respect to the model independent framework. We show the coincidence of the context bisimulation to the absolute equality. We also build a subbisimilarity relation from Λ calculus to the π calculus.

关键词: higher order π-calculus, encoding, expressiveness, bisimulation

Abstract: In the context of process calculi, higher order π calculus (Λ calculus) is prominent and popular due to its ability to transfer processes. Motivated by the attempt to study the process theory in an integrated way, we give a system study of Λ calculus with respect to the model independent framework. We show the coincidence of the context bisimulation to the absolute equality. We also build a subbisimilarity relation from Λ calculus to the π calculus.

Key words: higher order π-calculus, encoding, expressiveness, bisimulation

中图分类号: