Encoding mobile ambients into the pi-calculus.
Authors
Abstract
We present an encoding of the mobile ambients without communication into a subset of the $\pi$-calculus, namely the localized sum-free synchronous $\pi$-calculus. We prove the operational correspondence between the two formalisms. A key idea of the encoding is the separation of the spatial structure of mobile ambients from their operational semantics. The operational semantics is given by a universal $\pi$-process $Ruler$ which communicates with a $\pi$-calculus term $Structure_A$ simulating the spatial structure of a mobile ambient $A$ by means of channels. We consider the presented encoding as a first step toward designing a fully abstract translation of the calculus of mobile ambients into the $\pi$-calculus and thus developing a uniform framework for the theory of mobile computations.
Keywords
Edition
Proceedings of the Andrei Ershov 6th International Conference «Prespectives of System Informatics» (27-30 June 2006, Novosibirsk), Lecture Notes in Computer Science, 2006, Springer Berlin, vol. 4378, pp. 148-161.