1887

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

USD

 

Abstract

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

Article metrics loading...

/content/comp/2000/26/EJC27908
2000-11-01
2016-12-04
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