Branching Bisimilarity with Explicit Divergence

Select |




Print


van Glabbeek, Robert; Luttik, Bas; Tr?ka, Nikola

van Glabbeek, Robert; Luttik, Bas; Tr?ka, Nikola


2009-06-15


Journal Article


Fundamenta Informaticae


93


4


371-392


We consider the relational characterisation of branching bisimilarity with explicit divergence. We prove that it is an equivalence and that it coincides with the original definition of branching bisimilarity with explicit divergence in terms of coloured traces. We also establish a correspondence with several variants of an action-based modal logic with until- and divergence modalities.


Concurrency, labelled transition systems, modal logic, branching bisimilarity, divergence, coloured traces.


http://www.cse.unsw.edu.au/~rvg/pub/bbed.pdf


0169-2968


nicta:1582


van Glabbeek, Robert; Luttik, Bas; Tr?ka, Nikola. Branching Bisimilarity with Explicit Divergence. Fundamenta Informaticae. 2009-06-15; 93(4):371-392.



Loading citation data...

Citation counts
(Requires subscription to view)