Conditional bisimilarity for reactive systems

DOI10.4230/LIPICS.FSCD.2020.10MaRDI QIDQ6854426zbMATH OpenFDO

Authors Mathias Hülsbusch, Barbara König, Sebastian Küpper, Lara Stoltenow

Publication date 24 February 2026

Copyright license Creative Commons Attribution 3.0 Unported

Full work available at URL https://doi.org/10.4230/LIPICS.FSCD.2020.10

zbMATH Keywords

conditional bisimilaritygraph transformationreactive systemsup-to context

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX) Theory of computing (68Qxx)

Cites work

• A Coalgebraic Perspective on Minimization and Determinization
• Adhesive and quasiadhesive categories
• Algebra and Coalgebra in Computer Science
• Bigraphs and transitions
• Bisimulation by unification
• Complete Lattices and Up-To Techniques
• Conditional bisimilarity for reactive systems
• Conditional reactive systems
• Correctness of high-level transformation systems relative to nested conditions
• Deriving Bisimulation Congruences for Conditional Reactive Systems
• Double-pushout graph transformation revisited
• Foundations of Software Science and Computation Structures
• scientific article; zbMATH DE number 5604126 (Why is no real title available?)
• scientific article; zbMATH DE number 1759615 (Why is no real title available?)
• scientific article; zbMATH DE number 919847 (Why is no real title available?)
• On the bisimulation proof method
• Symbolic bisimulations

Cited in

(2)

• Conditional bisimilarity for reactive systems
• Contextual behavioural metrics

This page was built for publication: Conditional bisimilarity for reactive systems

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