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

zbMATH Keywords

reactive systemsgraph transformationconditional bisimilarityup-to context

Mathematics Subject Classification ID

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

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)