TR-COSC 07/91
A semantics for multiprocessor systems
P. Krishnan
Department of Computer Science
University of Canterbury
A reformatted version of the report is to appear as a paper in the
Proceedings of European Symposium on Programming, Rennes, France,
Published by Springer-Verlag, Lecture Notes in Computer
Science. Citations should refer to the proceedings.
Abstract
In this paper we present amultiprocessor semantics for CCS [Mil80]. An
operational semantics for processes under a finite number of processors
is developed. The effect of adding or removing processors from the
system is studied. A notion of strong bisimulation induced by the new
semantics is defined. Issues related to a complete axiomatization of
this congruence are examined and a complete equational system for a
subset of CCS is presented.
