Gabriel Ciobanu, Vladimir Zakharov

The mobile ambient paradigm of mobile computations is very expressive and allows various embeddings into it of other models of computations such as Turing machine, the λ-calculus, and the π-calculus.

In this paper we demonstrate that we have a closer relationship between mobile ambients and the π-calculus. We present an embedding of pure mobile ambients into a fragment of the π-calculus, namely the localized sum-free synchronous monadic π-calculus with matching and mismatching. The embedding is achieved by associating a pair of localized π-terms StructureA and Ruler to every mobile ambient A.

StructureA simulates the spatial structure of A by means of communication channels. Ruler is a universal π-process intended to simulate the operational semantics of the mobile ambients. This embedding of pure mobile ambients into a subset of the π-calculus opens new ways to the analysis of ambients by means of techniques used in the π-calculus.

Full Document (PDF)

Bibtex

@TechReport{emapc,
    author = "Gabriel Ciobanu and Vladimir Zakharov",
    title = "Embedding mobile ambients into the {$pi$}-calculus",
    institution = "``Al.I.Cuza'' University of Ia{c s}i, Faculty of Computer Science",
    year = "2005",
    number = "TR 05-07",
    url = "https://publications.info.uaic.ro/technical-reports/archive/tr05-07-2005-embedding-mobile-ambients-into-the-pi-calculus/"
}