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

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

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

• 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)