Algebraic laws for nondeterminism and concurrency
Journal of the ACM (JACM)
Three logics for branching bisimulation
Journal of the ACM (JACM)
Translations between modal logics of reactive systems
AMAST '93 Selected papers of the international conference on Algebraic methodology of software technology
Branching bisimilarity is an equivalence indeed!
Information Processing Letters
Branching time and abstraction in bisimulation semantics
Journal of the ACM (JACM)
A partial order approach to branching time logic model checking
Information and Computation
The Linear Time - Branching Time Spectrum II
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
Hi-index | 0.00 |
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.