2007 | OriginalPaper | Buchkapitel
Encoding Mobile Ambients into the π-Calculus
verfasst von : Gabriel Ciobanu, Vladimir A. Zakharov
Erschienen in: Perspectives of Systems Informatics
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
We present an encoding of the mobile ambients without communication into a subset of the
π
-calculus, namely the localized sum-free synchronous
π
-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
π
-process
Ruler
which communicates with a
π
-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
π
-calculus and thus developing a uniform framework for the theory of mobile computations.