Distributed CCS
DOI:
https://doi.org/10.7146/dpb.v20i356.6586Abstract
In this paper we describe a technique to extend a process language such as CCS which does not model many aspects of distributed computation to one which does. The idea is to use a concept of location which represents a virtual node. Processes at different locations can evolve independently. Furthermore, communication between the processes at different locations occurs via explicit message passing. We extend CCS with locations and message passing primitives and present its operational semantics. We show that the equivalences induced by the new semantics and its properties are similar to the equivalences in CCS. We also show how the semantics of configuration and routing can be handled.Downloads
Published
1991-07-01
How to Cite
Krishnan, P. (1991). Distributed CCS. DAIMI Report Series, 20(356). https://doi.org/10.7146/dpb.v20i356.6586
Issue
Section
Articles
License
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.