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