A Distributed Pi-calculus
Publisher: Cambridge University Press
This book proposes a distributed pi-calculus called ADPI, for describing the behaviour of mobile agents in a distributed world. It is based on an existing formal language, the pi-calculus, to which it adds a network layer and a primitive migration construct.A mathematical theory of the behaviour of these distributed systems is developed in which the presence of types play a major role. It is also shown how, in principle, this theory can be used to develop verification techniques for guaranteeing the beha