Rooted Divergence-Preserving Branching Bisimilarity is a Congruence

Rob van Glabbeek, Bas Luttik, Linda Spaninks

Research output: Contribution to journalArticlepeer-review

Abstract / Description of output

We prove that rooted divergence-preserving branching bisimilarity is a congruence for the process specification language consisting of nil, action prefix, choice, and the recursion construct.
Original languageEnglish
Article number14
Number of pages16
JournalLogical Methods in Computer Science
Issue number3
Publication statusPublished - 31 Aug 2020

Keywords / Materials (for Non-textual outputs)

  • Process algebra
  • Recursion
  • Branching bisimulation
  • Divergence
  • Congruence


Dive into the research topics of 'Rooted Divergence-Preserving Branching Bisimilarity is a Congruence'. Together they form a unique fingerprint.

Cite this