Rooted divergence-preserving branching bisimilarity is a congruence

Rob van Glabbeek (Corresponding author), Bas Luttik (Corresponding author), Linda Spaninks

Research output: Contribution to journalArticleAcademicpeer-review

Abstract

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
Volume16
Issue number3
DOIs
Publication statusPublished - 2020

Keywords

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

Fingerprint Dive into the research topics of 'Rooted divergence-preserving branching bisimilarity is a congruence'. Together they form a unique fingerprint.

Cite this