Conditional Reactive Systems
From MaRDI portal
Publication:2911624
DOI10.4230/LIPIcs.FSTTCS.2011.191zbMath1246.68152OpenAlexW2106540661MaRDI QIDQ2911624
H. J. Sander Bruggink, Raphaël Cauderlier, Barbara König, Mathias Hülsbusch
Publication date: 31 August 2012
Full work available at URL: http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2011.191
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)
Related Items (6)
Conditional Bigraphs ⋮ A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java ⋮ Drags: a compositional algebraic framework for graph rewriting ⋮ Confluence of Graph Rewriting with Interfaces ⋮ Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality ⋮ String diagram rewrite theory III: Confluence with and without Frobenius
This page was built for publication: Conditional Reactive Systems
