The following pages link to (Q4260701):
Displayed 8 items.
- Unfolding semantics of graph transformation (Q879600) (← links)
- Typed event structures and the linear \(\pi \)-calculus (Q964488) (← links)
- Contextual Petri nets, asymmetric event structures, and processes (Q1854468) (← 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)
- GETGRATS (Q4923529) (← links)
- Concurrency for Graph Grammars in a Petri net shell (Q4923530) (← links)