Modal Observation Equivalence of Processes
Mitchell, Bill and Carlisle, David (1995) Modal Observation Equivalence of Processes.
- Published Version
Available under License Creative Commons Attribution Non-commercial.
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 (Technical Report)|
|Divisions:||Faculty of Physical Sciences and Engineering > Electronics and Computer Science
Faculty of Physical Sciences and Engineering > Electronics and Computer Science > IT Innovation Centre
|Date Deposited:||28 May 2009 14:04|
|Last Modified:||27 Mar 2014 20:13|
|Further Information:||Google Scholar|
|RDF:||RDF+N-Triples, RDF+N3, RDF+XML, Browse.|
Actions (login required)