Another fully abstract graph semantics for the ambient calculus
Nicolás Mylonakis Pascual, Fernando Orejas Valdés · 2007
The long-term aim of this work is the definition of a framework for the modelling and development of distributed mobile component-based applications. As a first step we provide a fully abstract graph semantics for the ambient calculus which is more appropriate for our purposes than the existing ones. In particular, in our encoding, the graph representing an ambient calculus expression embeds faithfully the ambient structure underlying the given expression.