The following pages link to Conditional reactive systems (Q2911624):
Displaying 8 items.
- Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality (Q2049986) (← links)
- Transformations of reaction systems over categories by means of epi-mono factorization and functors (Q2117257) (← links)
- Drags: a compositional algebraic framework for graph rewriting (Q2422028) (← links)
- Confluence of Graph Rewriting with Interfaces (Q2988637) (← links)
- Conditional Bigraphs (Q5100722) (← links)
- A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java (Q5100741) (← links)
- Formal Methods in Software and Systems Modeling (Q5710414) (← links)
- String diagram rewrite theory III: Confluence with and without Frobenius (Q5879265) (← links)