n South African Computer Journal - A comparison of bisimulation-based semantic equivalences for noninterleaving behaviour over CCS processes

Volume 2000, Issue 26
  • ISSN : 1015-7999
  • E-ISSN: 2313-7835



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.

Loading full text...

Full text loading...


Article metrics loading...


This is a required field
Please enter a valid email address
Approval was a Success
Invalid data
An Error Occurred
Approval was partially successful, following selected items could not be processed due to error