Process Passing Calculus,Revisited  

作　　者：尹强 龙环 

机构地区：[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

出　　处：《Journal of Shanghai Jiaotong university(Science)》2013年第1期29-36,共8页上海交通大学学报（英文版）

基　　金：the National Natural Science Foundation of China(Nos.61033002,60903020,61202023);the Science and Technology Commission of Shanghai Municipality(No.11XD1402800)

摘　　要：In the context of process calculi, higher order π calculus （A 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 A 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 A calculus to the π calculus.In the context of process calculi,higher orderπcalculus(A 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 A 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 A calculus to the n calculus.

关 键 词：higher order π-calculus encoding EXPRESSIVENESS BISIMULATION 

分 类 号：TP301.2[自动化与计算机技术—计算机系统结构]