Weak Bisimulation Up to Elaboration

DOI10.1007/11817949_26MaRDI QIDQ5756594zbMATH OpenOpenAlexFDO

Authors Damien Pous

Publication date 4 September 2007

Published in CONCUR 2006 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11817949_26

Mathematics Subject Classification ID

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

Recommendations

• Automata, Languages and Programming
• New up-to techniques for weak bisimulation
• Lax bialgebras and up-to techniques for weak bisimulations
• Beyond Bisimulation: The “up-to” Techniques
• Coalgebraic bisimulation-up-to

Cited in

(10)

• (Bi)simulations up-to characterise process semantics
• Bisimulation and coinduction enhancements: a historical perspective
• BISON instantiating the whitened swap-or-not construction
• Mechanized metatheory revisited
• New up-to techniques for weak bisimulation
• Complete Lattices and Up-To Techniques
• Tower induction and up-to techniques for CCS with fixed points
• Automata, Languages and Programming
• Mechanized metatheory revisited: an extended abstract (invited paper)
• Nondeterministic asynchronous dataflow in Isabelle/HOL

This page was built for publication: Weak Bisimulation Up to Elaboration

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