Pages that link to "Item:Q2291821"
From MaRDI portal
The following pages link to A calculus of concurrent graph-rewriting processes (Q2291821):
Displaying 6 items.
- Graph-rewriting Petri nets (Q1663983) (← links)
- Equivalence and independence in controlled graph-rewriting processes (Q1663987) (← links)
- Preface to the special issue on the 11th international conference on graph transformation (Q1987730) (← links)
- Introducing symmetry to graph rewriting systems with process abstraction (Q2292965) (← links)
- Graph rewriting for the π-calculus (Q5308095) (← links)
- Formal Methods in Software and Systems Modeling (Q5710425) (← links)