Branching bisimilarity is an equivalence indeed!
- 1 May 1996
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 58 (3) , 141-147
- https://doi.org/10.1016/0020-0190(96)00034-8
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Structural operational semantics for weak bisimulationsTheoretical Computer Science, 1995
- Three logics for branching bisimulationJournal of the ACM, 1995
- τ-Bisimulations and full abstraction for refinement of actionsInformation Processing Letters, 1991