A semantics for multiprocessor systems

Simple item page
dc.contributor.authorKrishnan, P.
dc.date.accessioned2009-11-10T00:07:24Z
dc.date.available2009-11-10T00:07:24Z
dc.date.issued1991en
dc.descriptionTR-COSC 07/91en
dc.description.abstractIn 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.en
dc.identifier.citationKrishnan, P. (1991) A semantics for multiprocessor systems..en
dc.identifier.urihttp://hdl.handle.net/10092/3091
dc.language.isoen
dc.publisherDepartment of Computer Science, University of Canterburyen
dc.publisherUniversity of Canterbury. Computer Science and Software Engineeringen
dc.rights.urihttps://hdl.handle.net/10092/17651en
dc.subject.marsdenFields of Research::280000 Information, Computing and Communication Sciencesen
dc.titleA semantics for multiprocessor systemsen
dc.typeReports
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
12619155_Krishnan.pdf
Size:
200.49 KB
Format:
Adobe Portable Document Format
Download
Collections
Engineering: Reports