Pages that link to "Item:Q2864377"
From MaRDI portal
The following pages link to Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions (Q2864377):
Displaying 7 items.
- Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs (Q418014) (← links)
- A generalized concurrent rule construction for double-pushout rewriting: generalized concurrency theorem and language-preserving rule applications (Q2096426) (← links)
- Rule-based transformation of graph rewriting rules: towards higher-order graph grammars (Q2355681) (← links)
- Transformations in Reconfigurable Place/Transition Systems (Q3507359) (← links)
- Embedding and Confluence of Graph Transformations with Negative Application Conditions (Q3540396) (← links)
- High-Level Programs and Program Conditions (Q3540400) (← links)
- Analysis of permutation equivalence in -adhesive transformation systems with negative application conditions (Q5740378) (← links)
