n South African Computer Journal - A comparison of bisimulation-based semantic equivalences for noninterleaving behaviour over CCS processes
|Article Title||A comparison of bisimulation-based semantic equivalences for noninterleaving behaviour over CCS processes|
|© Publisher:||South African Computer Society (SAICSIT)|
|Journal||South African Computer Journal|
|Publication Date||Nov 2000|
|Pages||4 - 12|
|Keyword(s)||Bisimulation, Causality, Comparison of semantic equivalences, D.3.1, F.1.2, F.3.2, F.4.3, Location and Process algebra|
A number of extensions to the process algebra CCS (Calculus of Communicating Systems) have been proposed to deal with noninterleaving behaviour such as location and causality. the aim of the paper is to use existing and new comparison results to provide a hierarchy of these semantic equivalences over pure finite CCS terms. It is not possible to include some extensions in this hierarchy and the reasons for the exclusion are given.
Article metrics loading...