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

DOI10.1007/978-3-031-15629-8_19MaRDI QIDQ6108902zbMATH OpenOpenAlexFDO

Authors David N. Jansen, Xin Xin Liu

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

branching bisimulationcongruencedivergence preservation

Mathematics Subject Classification ID

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

Recommendations

• Rooted branching bisimulation as a congruence
• Branching bisimilarity is an equivalence indeed!
• Branching Bisimilarity with Explicit Divergence

Cites work

• A complete axiomatisation for observational congruence of finite-state behaviours
• Axiomatising divergence
• Branching bisimilarity is an equivalence indeed!
• Branching Bisimilarity with Explicit Divergence
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 177845 (Why is no real title available?)
• scientific article; zbMATH DE number 7243676 (Why is no real title available?)
• Modular specification of process algebras

Cited in

(1)

• Rooted divergence-preserving branching bisimilarity is a congruence for guarded CCS

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6108902)