Pages that link to "Item:Q879600"
From MaRDI portal
The following pages link to Unfolding semantics of graph transformation (Q879600):
Displayed 9 items.
- Verification of graph grammars using a logical approach (Q436370) (← links)
- A framework for the verification of infinite-state graph transformation systems (Q937301) (← links)
- Unfolding-based diagnosis of systems with an evolving topology (Q1959480) (← links)
- Unfolding Grammars in Adhesive Categories (Q2888498) (← links)
- An Institution for Graph Transformation (Q2890329) (← links)
- Ugo Montanari and Graph Transformation (Q3507353) (← links)
- Unfolding Graph Transformation Systems: Theory and Applications to Verification (Q3507354) (← links)
- Models of Computation: A Tribute to Ugo Montanari’s Vision (Q3507385) (← links)
- Unfolding-Based Diagnosis of Systems with an Evolving Topology (Q3541019) (← links)