The following pages link to Lazy graph transformation (Q2898464):
Displaying 7 items.
- Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach (Q1734517) (← links)
- Compositional analysis of probabilistic timed graph transformation systems (Q2044184) (← links)
- Unfolding Symbolic Attributed Graph Grammars (Q5100727) (← links)
- Formal Verification of Invariants for Attributed Graph Transformation Systems Based on Nested Attributed Graph Conditions (Q5100737) (← links)
- Optimistic and Pessimistic On-the-fly Analysis for Metric Temporal Graph Logic (Q5100739) (← links)
- Abstract Constraint Data Types (Q5256347) (← links)
- Compositional analysis of probabilistic timed graph transformation systems (Q6611954) (← links)