Branching bisimilarity is an equivalence indeed!

Research output: Contribution to journalArticleAcademicpeer-review

66 Citations (Scopus)
1 Downloads (Pure)


This note presents a detailed proof of a result in the theory of concurrency semantics that is already considered folklore, namely that branching bisimilarity is an equivalence relation. The "simple proof", which in the literature is always assumed to exist, is shown to be incorrect. The proof in this note is based on the notion of a semi-branching bisimulation taken from (Van Glabbeek and Weijland, 1991). Branching bisimilarity can equivalently be defined in terms of semi-branching bisimulations; the results suggest that such a definition is more intuitive than the original definition of Van Glabbeek and Weijland (1989).
Original languageEnglish
Pages (from-to)141-147
JournalInformation Processing Letters
Issue number3
Publication statusPublished - 1996


Dive into the research topics of 'Branching bisimilarity is an equivalence indeed!'. Together they form a unique fingerprint.

Cite this