Pages that link to "Item:Q685462"
From MaRDI portal
The following pages link to Parallel and distributed derivations in the single-pushout approach (Q685462):
Displayed 4 items.
- Relational graph rewritings (Q673789) (← links)
- Algebraic approach to single-pushout graph transformation (Q685460) (← links)
- Categorical principles, techniques and results for high-level-replacement systems in computer science (Q690375) (← links)
- Algebraic structures of directed acyclic graphs: application to concurrent calculus (Q4876370) (← links)