Pages that link to "Item:Q685462"
From MaRDI portal
The following pages link to Parallel and distributed derivations in the single-pushout approach (Q685462):
Displaying 15 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)
- Subobject transformation systems (Q934672) (← links)
- On the essence of parallel independence for the double-pushout and sesqui-pushout approaches (Q1708174) (← links)
- Algebraic graph rewriting with controlled embedding (Q2007726) (← links)
- Parallel rewriting of attributed graphs (Q2215963) (← links)
- Block Representation of Reversible Causal Graph Dynamics (Q2947893) (← links)
- Reversible Causal Graph Dynamics (Q3186585) (← links)
- Parallelism in AGREE Transformations (Q3187802) (← links)
- Pragmatic and semantic aspects of a module concept for graph transformation systems (Q4645272) (← links)
- Hierarchically distributed graph transformation (Q4645284) (← links)
- Algebraic structures of directed acyclic graphs: application to concurrent calculus (Q4876370) (← links)
- Reversibility vs Local Creation/Destruction (Q5237213) (← links)
- Reversible causal graph dynamics: invertibility, block representation, vertex-preservation (Q6151164) (← links)