论文部分内容阅读
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 the 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 enhanced encoding criteria.Then we propose the 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 said criteria.