Branching Bisimilarity with Explicit Divergence

Simple item page
dc.creatorvan Glabbeek, Rob
dc.creatorLuttik, Bas
dc.creatorTrcka, Nikola
dc.date2008-12-16
dc.date.accessioned2026-07-07T12:13:19Z
dc.date.available2026-07-07T12:13:19Z
dc.descriptionWe 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.
dc.identifierhttps://arxiv.org/abs/0812.3068
dc.identifierhttp://arxiv.org/abs/0812.3068
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/210810
dc.subjectLogic in Computer Science
dc.titleBranching Bisimilarity with Explicit Divergence
dc.typetext

Files

Collections

arXiv