Krishnan, P.2009-11-102009-11-101991Krishnan, P. (1991) A semantics for multiprocessor systems..http://hdl.handle.net/10092/3091TR-COSC 07/91In 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.enReportsFields of Research::280000 Information, Computing and Communication Sciences