Rooted divergence-preserving branching bisimilarity is a congruence: a simpler proof

DOI10.1007/978-3-031-15629-8_19zbMath1524.68218OpenAlexW4297922681MaRDI QIDQ6108902

Xin Xin Liu, David N. Jansen

Publication date: 26 July 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-15629-8_19

zbMATH Keywords

congruencebranching bisimulationdivergence preservation

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A complete axiomatisation for observational congruence of finite-state behaviours
• Branching bisimilarity is an equivalence indeed!
• Modular specification of process algebras
• Axiomatising divergence
• Branching Bisimilarity with Explicit Divergence

This page was built for publication: Rooted divergence-preserving branching bisimilarity is a congruence: a simpler proof