Divergence-preserving branching bisimilarity

Bas Luttik (Corresponding author)

Research output: Contribution to journalConference articlepeer-review

3 Citations (Scopus)


This note considers the notion of divergence-preserving branching bisimilarity. It briefly surveys results pertaining to the notion that have been obtained in the past one-and-a-half decade, discusses its role in the study of expressiveness of process calculi, and concludes with some suggestions for future work.

Original languageEnglish
Pages (from-to)3-11
Number of pages9
JournalElectronic Proceedings in Theoretical Computer Science, EPTCS
Publication statusPublished - 27 Aug 2020
EventCombined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics, EXPRESS/SOS 2020 - Virtual, Online, Austria
Duration: 31 Aug 2020 → …


Dive into the research topics of 'Divergence-preserving branching bisimilarity'. Together they form a unique fingerprint.

Cite this