Branching Bisimilarity with Explicit Divergence

Rob van Glabbeek, Bas Luttik, Nikola Trčka

Research output: Contribution to journalArticlepeer-review

Abstract / Description of output

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.
Original languageEnglish
Pages (from-to)371-392
Number of pages22
JournalFundamenta Informaticae
Issue number4
Publication statusPublished - 3 Dec 2009

Cite this