scientific article; zbMATH DE number 7471695

MaRDI QIDQ5028460

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

Publication date: 9 February 2022

Full work available at URL: https://arxiv.org/abs/2004.11792

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

reactive systemsconditional bisimilaritygraph transformatup-to context

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Symbolic bisimulations
• Bisimulation and coinduction enhancements: a historical perspective
• A lattice-theoretical fixpoint theorem and its applications
• Double-pushout graph transformation revisited
• Deriving Bisimulation Congruences for Conditional Reactive Systems
• Bigraphs and transitions
• Bisimulation by Unification*
• Complete Lattices and Up-To Techniques
• Development of Correct Graph Transformation Systems
• Correctness of high-level transformation systems relative to nested conditions
• On the bisimulation proof method
• Graph Transformations
• Foundations of Software Science and Computation Structures
• Adhesive and quasiadhesive categories
• Enhancements of the bisimulation proof method
• Algebra and Coalgebra in Computer Science

This page was built for publication: