Open AccessDistributed CCS
Author(s) -
K. A. Padmanabhan
Publication year - 1991
Publication title -
daimi pb
Language(s) - English
Resource type - Journals
eISSN - 2245-9316
pISSN - 0105-8517
DOI - 10.7146/dpb.v20i356.6586
Subject(s) - computer science , semantics (computer science) , message passing , distributed computing , operational semantics , node (physics) , computation , programming language , process (computing) , routing (electronic design automation) , theoretical computer science , parallel computing , computer network , engineering , structural engineering
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.