Hostname: page-component-848d4c4894-ttngx Total loading time: 0 Render date: 2024-05-23T09:05:19.117Z Has data issue: false hasContentIssue false

On the expressiveness of pure safe ambients

Published online by Cambridge University Press:  16 October 2003

PASCAL ZIMMER
Affiliation:
INRIA Sophia Antipolis – Mimosa, 2004 route des Lucioles, BP 93, 06902 Sophia Antipolis Cedex, France Email: pascal.zimmer@sophia.inria.fr

Abstract

We consider the Pure Safe Ambient Calculus, which is Levi and Sangiorgi's Safe Ambient Calculus (a variant of Cardelli and Gordon's Mobile Ambient Calculus) restricted to its mobility primitives – in particular, we focus on its expressive power. Since it has no form of communication or substitution, we show how these notions can be simulated by mobility and modifications in the hierarchical structure of ambients. As a main result, we use these techniques to design an encoding of the synchronous $\pi$-calculus into pure ambients, and we study its correctness, thus showing that pure ambients are as expressive as the $\pi$-calculus. In order to simplify the proof and give an intuitive understanding of the encoding, we design an intermediate language, the $\pi$-Calculus with Explicit Substitutions and Channels, which is an extension of the $\pi$-calculus in which communication and substitution are broken into simpler steps, and we show that is has the same expressive power as the $\pi$-calculus.

Type
Paper
Copyright
2003 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Footnotes

An extended abstract of this paper appeared in Zimmer (2000).