Branching Bisimilarity with Explicit Divergence

Rob van Glabbeek; Bas Luttik; Nikola Trčka

doi:10.3233/FI-2009-109

Branching Bisimilarity with Explicit Divergence

Rob van Glabbeek, Bas Luttik, Nikola Trčka

Research output: Contribution to journal › Article › peer-review

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.

Original language	English
Pages (from-to)	371-392
Number of pages	22
Journal	Fundamenta Informaticae
Volume	93
Issue number	4
DOIs	https://doi.org/10.3233/FI-2009-109
Publication status	Published - 3 Dec 2009

Access to Document

10.3233/FI-2009-109Licence: All Rights Reserved

https://content.iospress.com/articles/fundamenta-informaticae/fi93-4-03Licence: All Rights Reserved

Cite this

@article{75e849c3904b44be84a09fbacd5148cb,

title = "Branching Bisimilarity with Explicit Divergence",

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.",

author = "{van Glabbeek}, Rob and Bas Luttik and Nikola Tr{\v c}ka",

year = "2009",

month = dec,

day = "3",

doi = "10.3233/FI-2009-109",

language = "English",

volume = "93",

pages = "371--392",

journal = "Fundamenta Informaticae",

issn = "0169-2968",

publisher = "SAGE Publications",

number = "4",

}

TY - JOUR

T1 - Branching Bisimilarity with Explicit Divergence

AU - van Glabbeek, Rob

AU - Luttik, Bas

AU - Trčka, Nikola

PY - 2009/12/3

Y1 - 2009/12/3

N2 - 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.

AB - 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.

U2 - 10.3233/FI-2009-109

DO - 10.3233/FI-2009-109

M3 - Article

SN - 0169-2968

VL - 93

SP - 371

EP - 392

JO - Fundamenta Informaticae

JF - Fundamenta Informaticae

IS - 4

ER -