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.
CITATION STYLE
Boudol, G., Castellani, I., Hennessy, M., & Kiehn, A. (1992). A theory of processes with localities. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 630 LNCS, pp. 108–122). Springer Verlag. https://doi.org/10.1007/bfb0084786
Mendeley helps you to discover research relevant for your work.