Branching bisimilarity with explicit divergence

R.J. Glabbeek, van, S.P. Luttik, N. Trcka

Research output: Contribution to journalArticleAcademicpeer-review

51 Citations (Scopus)

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 languageEnglish
Pages (from-to)371-392
JournalFundamenta Informaticae
Volume93
Issue number4
DOIs
Publication statusPublished - 2009

Fingerprint Dive into the research topics of 'Branching bisimilarity with explicit divergence'. Together they form a unique fingerprint.

Cite this