Trustworthy Systems

Branching bisimilarity with explicit divergence

Authors

Rob van Glabbeek, Bas Luttik and Nikola Trčka

NICTA

UNSW

Eindhoven University of Technology

CWI

Abstract

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.

BibTeX Entry

  @article{vanGlabbeek_LT_09_2,
    author           = {van Glabbeek, Robert and Luttik, Bas and Trčka, Nikola},
    issn             = {0169-2968},
    journal          = {Fundamenta Informaticae},
    keywords         = {concurrency, labelled transition systems, modal logic, branching bisimilarity, divergence, coloured
                        traces.},
    month            = jun,
    number           = {4},
    pages            = {371--392},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/1582.pdf},
    title            = {Branching Bisimilarity with Explicit Divergence},
    volume           = {93},
    year             = {2009}
  }

Download