Pages that link to "Item:Q1147520"
From MaRDI portal
The following pages link to Parallelism and concurrency of graph manipulations (Q1147520):
Displaying 15 items.
- Relational graph rewritings (Q673789) (← links)
- Parallel and distributed derivations in the single-pushout approach (Q685462) (← links)
- Categorical principles, techniques and results for high-level-replacement systems in computer science (Q690375) (← links)
- Graph grammars and operational semantics (Q1165029) (← links)
- Foundations of rule-based design of modular systems (Q1176249) (← links)
- Parallel high-level replacement systems (Q1389763) (← links)
- Amalgamation of graph transformations: a synchronization mechanism (Q1822505) (← links)
- A generalized concurrent rule construction for double-pushout rewriting: generalized concurrency theorem and language-preserving rule applications (Q2096426) (← links)
- A generalized concurrent rule construction for double-pushout rewriting (Q2117256) (← links)
- Accretive computation of global transformations (Q2695351) (← links)
- Reachability in Graph Transformation Systems and Slice Languages (Q2947215) (← links)
- Parallelism and concurrency in high-level replacement systems (Q4006236) (← links)
- The category of typed graph grammars and its adjunctions with categories of derivations (Q4645267) (← links)
- Patch Graph Rewriting (Q5100730) (← links)
- -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation (Q5740375) (← links)
