A semantics for multiprocessor systems

Type of content
Reports
Publisher's DOI/URI
Thesis discipline
Degree name
Publisher
Department of Computer Science, University of Canterbury
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..
Keywords
Ngā upoko tukutuku/Māori subject headings
ANZSRC fields of research
Rights