A theory of processes with localities
G. Boudol1, I. Castellani1, M. Hennessy2 and A. Kiehn3
| (1) |
INRIA, Sophia-Antipolis |
| (2) |
CSAI, University of Sussex, England |
Abstract
We study a notion of observation for concurrent processes which allows the observer to see the distributed nature of processes,
giving explicit names for the location of actions. A general notion of bisimulation related to this observation of distributed
systems is introduced. Our main result is that these bisimulation relations, particularized to a process algebra extending
CCS, are completely axiomatizable. We discuss in details two instances of location bisimulations, namely the location equivalence
and the location preorder.
This work has been supported by the ESPRIT/BRA CEDISYS project.
References secured to subscribers.