A Distributed and Mobile Component System Based on the Ambient Calculus

摘要

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