Conditional reactive systems

DOI10.4230/LIPICS.FSTTCS.2011.191MaRDI QIDQ2911624zbMATH OpenOpenAlexFDO

Authors H. J. Sander Bruggink, Raphaël Cauderlier, Mathias Hülsbusch, Barbara König

Publication date 31 August 2012

Full work available at URL http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2011.191

zbMATH Keywords

reactive systemsgraph transformationcritical pair analysisgraph logicHoare triples

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

Recommendations

• M-adhesive transformation systems with nested application conditions. II: Embedding, critical pairs and local confluence
• Deriving Bisimulation Congruences for Conditional Reactive Systems
• -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
• Correctness of high-level transformation systems relative to nested conditions
• Conditional bigraphs

Cited in

(12)

• String diagram rewrite theory III: Confluence with and without Frobenius
• Transformations of reaction systems over categories by means of epi-mono factorization and functors
• Formal Methods in Software and Systems Modeling
• Correctness of high-level transformation systems relative to nested conditions
• Sortings for Reactive Systems
• A flexible and easy-to-use library for the rapid development of graph tools in Java
• Confluence of graph rewriting with interfaces
• Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality
• Conditional bisimilarity for reactive systems
• Coinductive techniques for checking satisfiability of generalized nested conditions
• Conditional bigraphs
• Drags: a compositional algebraic framework for graph rewriting

This page was built for publication: Conditional reactive systems

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