The following pages link to (Q4890712):
Displaying 36 items.
- Symbolic graphs for attributed graph constraints (Q631573) (← links)
- Variability-based model transformation: formal foundation and application (Q682373) (← links)
- Structural and behavioural compatibility of graphical service specifications (Q861295) (← links)
- Subobject transformation systems (Q934672) (← links)
- Reasoning with graph constraints (Q973044) (← links)
- Formal software specification with refinements and modules of typed graph transformation systems (Q1608315) (← links)
- Graph grammars according to the type of input and manipulated data: a survey (Q1750316) (← links)
- Probabilistic timed graph transformation systems (Q1994363) (← links)
- A navigational logic for reasoning about graph properties (Q1996850) (← 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)
- Theorem proving graph grammars with attributes and negative application conditions (Q2358623) (← links)
- Transformation of variants of Petri nets into context-dependent fusion grammars (Q2672655) (← links)
- Parallelism and concurrency in adhesive high-level replacement systems with negative application conditions (Q2864377) (← links)
- Modeling and verification of reliable messaging by graph transformation systems (Q2867887) (← links)
- Simulation of generalised semi-Markov processes based on graph transformation systems (Q2867890) (← links)
- Polymorphic Sesqui-Pushout Graph Rewriting (Q2947207) (← links)
- Extended Triple Graph Grammars with Efficient and Compatible Graph Translators (Q3059713) (← links)
- On the Specification and Verification of Model Transformations (Q3184747) (← links)
- Explicit State Model Checking for Graph Grammars (Q3507360) (← links)
- Embedding and Confluence of Graph Transformations with Negative Application Conditions (Q3540396) (← links)
- Attributed Graph Constraints (Q3540405) (← links)
- Development of Correct Graph Transformation Systems (Q3540429) (← links)
- Matrix Graph Grammars with Application Conditions (Q3561225) (← links)
- On the interleaving semantics of transformation units — A step into GRACE (Q4645269) (← links)
- How to Specify a Graph Transformation Approach (Q4923507) (← links)
- (Q5021222) (← links)
- (Q5028460) (← links)
- Conditional Bigraphs (Q5100722) (← links)
- Initial Conflicts for Transformation Rules with Nested Application Conditions (Q5100729) (← links)
- Patch Graph Rewriting (Q5100730) (← links)
- A Simulator for Probabilistic Timed Graph Transformation Systems with Complex Large-Scale Topologies (Q5100746) (← links)
- Modelling Dynamic Software Architectures using Typed Graph Grammars (Q5403458) (← links)
- Deriving Bisimulation Congruences in the Presence of Negative Application Conditions (Q5458376) (← links)
- A Logic of Graph Constraints (Q5460000) (← links)
- On the power of local graph expansion grammars with and without additional restrictions (Q6614008) (← links)
