A semantics for multiprocessor systems
In this paper we present a multiprocessor semantics for CCS [Mil80]. An operational semantics for processes under a nite number of processors is developed. The e ect of adding or removing processors from the system is studied. A notion of strong bisimulation induced by the new semantics is de ned. Issues related to a complete axiomatization of this congruence are examined and a complete equational system for a subset of CCS is presented.
SubjectsFields of Research::280000 Information, Computing and Communication Sciences
- Engineering: Reports