The following pages link to (Q4904140):
Displaying 20 items.
- Constructing optimized constraint-preserving application conditions for model transformation rules (Q780069) (← links)
- On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems (Q2011208) (← links)
- Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality (Q2049986) (← links)
- Rewriting theory for the life sciences: a unifying theory of CTMC semantics (Q2049987) (← links)
- A generalized concurrent rule construction for double-pushout rewriting: generalized concurrency theorem and language-preserving rule applications (Q2096426) (← links)
- Concurrency theorems for non-linear rewriting theories (Q2117255) (← links)
- Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs (Q2192461) (← links)
- Rule-based transformation of graph rewriting rules: towards higher-order graph grammars (Q2355681) (← links)
- Accretive computation of global transformations (Q2695351) (← links)
- Adhesivity with partial maps instead of spans (Q2898462) (← links)
- Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs (Q2947214) (← links)
- Parallelism in AGREE Transformations (Q3187802) (← links)
- Rule Algebras for Adhesive Categories (Q3300790) (← links)
- (Q3397632) (← links)
- From Algebraic Graph Transformation to Adhesive HLR Categories and Systems (Q3522863) (← links)
- Categorical Foundations of Distributed Graph Transformation (Q3541961) (← links)
- (Q5021217) (← links)
- Fundamentals of compositional rewriting theory (Q6052944) (← links)
- A generic construction for crossovers of graph-like structures and its realization in the Eclipse Modeling Framework (Q6151605) (← links)
- Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes (Q6156939) (← links)
