A semantics for multiprocessor systems
Type of content
Reports
UC permalink
Publisher's DOI/URI
Thesis discipline
Degree name
Publisher
Department of Computer Science, University of Canterbury
University of Canterbury. Computer Science and Software Engineering
University of Canterbury. Computer Science and Software Engineering
Journal Title
Journal ISSN
Volume Title
Language
Date
1991
Authors
Krishnan, P.
Abstract
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.
Description
TR-COSC 07/91
Citation
Krishnan, P. (1991) A semantics for multiprocessor systems..