The following pages link to (Q3416071):
Displayed 8 items.
- Collagories: relation-algebraic reasoning for gluing constructions (Q549680) (← links)
- Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach (Q1734517) (← links)
- Towards Algebraic High-Level Systems as Weak Adhesive HLR Categories (Q2864378) (← links)
- Towards Certifiable Implementation of Graph Transformation via Relation Categories (Q2915137) (← links)
- Graph Transformation Units – An Overview (Q3507357) (← links)
- Transformations in Reconfigurable Place/Transition Systems (Q3507359) (← links)
- Explicit State Model Checking for Graph Grammars (Q3507360) (← links)
- An Algorithm for Approximating the Satisfiability Problem of High-level Conditions (Q5403460) (← links)