How faithfully can π be interpreted in SA?  

作　　者：LONG Huan FU YuXi 

机构地区：[1]Basic Studies in Computing Science,Department of Computer Science,MOE-MS Key Laboratory for Intelligent Computing and Intelligent Systems,Shanghai Jiao Tong University

出　　处：《Science China(Information Sciences)》2013年第3期78-92,共15页中国科学（信息科学）（英文版）

基　　金：supported by National Natural Science Foundation of China(Grant No.61033002,60903020);Science and Technology Commission of Shanghai Municipality(STCSM)(Grant No.11XD1402800)

摘　　要：The π calculus and the safe ambient calculus are two of the widely studied variants of process calculi in the field of concurrency theory. The former is the most classic model for mobile processes and the latter is well known for its nested structure. However, the relationship between these two models deserves further investigation. In this paper, we reinvestigate this problem thoroughly. We first give the strengthened encoding criteria. Then we propose tile encoding of the synchronous π-calculus into the safe ambients calculus. The encoding scheme is a generalization and improvement of Levi and Sangiorgi＇s work when moving from the asynchronousπ-calculus to the synchronous π-calculus. We show the merits of the encoding by checking the mentioned criteria.The π calculus and the safe ambient calculus are two of the widely studied variants of process calculi in the field of concurrency theory. The former is the most classic model for mobile processes and the latter is well known for its nested structure. However, the relationship between these two models deserves further investigation. In this paper, we reinvestigate this problem thoroughly. We first give the strengthened encoding criteria. Then we propose tile encoding of the synchronous π-calculus into the safe ambients calculus. The encoding scheme is a generalization and improvement of Levi and Sangiorgi＇s work when moving from the asynchronousπ-calculus to the synchronous π-calculus. We show the merits of the encoding by checking the mentioned criteria.

关 键 词：ENCODING EXPRESSIVENESS synchronous π-calculus safe ambients 

分 类 号：TN911.2[电子电信—通信与信息系统]