Modal Observation Equivalence of Processes

Mitchell, Bill and Carlisle, David (1995) Modal Observation Equivalence of Processes s.n.


[img] Postscript - Version of Record
Available under License Other.

Download (734kB)


This paper shows that many simulation equivalences over processes can be characterised by a single parameterised modal logic formula. Strong bisimulation equivalence was shown by Milner to be characterised in this way. This paper shows that simulation, complete simulation, ready simulation, 2-nested simulation, weak bisimulation and congruence can also be characterised in this way. The paper constructs a template which can be used to generate a parametrised modal formula which is guaranteed to characterise a `sensible' simulation equivalence. Two infinite families of simulation equivalences are characterised in this way, both of which converge to strong bisimulation. The paper defines a similar template for weak simulation equivalences. This template is used to construct an infinite family of equivalences which converges to weak bisimulation equivalence, and another infinite family which converges to congruence.

Item Type: Monograph (Project Report)
Related URLs:
Organisations: Electronics & Computer Science, IT Innovation
ePrint ID: 267413
Date :
Date Event
Date Deposited: 28 May 2009 14:04
Last Modified: 17 Apr 2017 18:48
Further Information:Google Scholar

Actions (login required)

View Item View Item