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

DOI10.1007/978-3-031-15629-8_19zbMATH Open1524.68218OpenAlexW4297922681MaRDI QIDQ6108902FDOQ6108902

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

Recommendations

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

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

• Title not available (Why is that?)
• A complete axiomatisation for observational congruence of finite-state behaviours
• Branching Bisimilarity with Explicit Divergence
• Branching bisimilarity is an equivalence indeed!
• Title not available (Why is that?)
• Axiomatising divergence
• Modular specification of process algebras
• Title not available (Why is that?)

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)