Pages that link to "Item:Q2634496"
From MaRDI portal
The following pages link to Graph and model transformation. General framework and applications (Q2634496):
Displaying 15 items.
- Constructing optimized constraint-preserving application conditions for model transformation rules (Q780069) (← links)
- A categorial approach to reaction systems: first steps (Q2044950) (← 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)
- Transformations of reaction systems over categories by means of epi-mono factorization and functors (Q2117257) (← links)
- Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs (Q2192461) (← links)
- Logics for actor networks: a two-stage constrained-hybridisation approach (Q2423775) (← links)
- (Q3758621) (← links)
- (Q5020539) (← links)
- (Q5021221) (← links)
- (Q5875357) (← links)
- A generic construction for crossovers of graph-like structures and its realization in the Eclipse Modeling Framework (Q6151605) (← links)
- Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic (Q6151620) (← links)
- A Generic Construction for Crossovers of Graph-Like Structures (Q6487307) (← links)
- Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction (Q6487310) (← links)