Another fully abstract graph semantics for the ambient calculus

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.Postprint (published version

A Distributed and mobile component system based on the ambient calculus

In this paper we present a new component concept equivalent to a previous one which is more appropiate for distributed applications. After that, we present the notion of component system and define a set of operations of component systems which some of them are used to define an ambient calculus with component systems. Finally we present an example.Postprint (published version

A Distributed and mobile component system based on the ambient calculus

In this paper we present a new component concept equivalent to a previous one which is more appropiate for distributed applications. After that, we present the notion of component system and define a set of operations of component systems which some of them are used to define an ambient calculus with component systems. Finally we present an example

A Distributed and mobile component system based on the ambient calculus

In this paper we present a new component concept equivalent to a previous one which is more appropiate for distributed applications. After that, we present the notion of component system and define a set of operations of component systems which some of them are used to define an ambient calculus with component systems. Finally we present an example