scientific article; zbMATH DE number 919847
From MaRDI portal
Publication:4890712
Recommendations
- Unfolding graph grammars with negative application conditions
- scientific article; zbMATH DE number 3988733
- Theorem proving graph grammars with attributes and negative application conditions
- Matrix Graph Grammars with Application Conditions
- On the expressive power of algebraic graph grammars with application conditions
- scientific article; zbMATH DE number 177453
- scientific article; zbMATH DE number 177436
- scientific article; zbMATH DE number 17539
- Deterministic graph grammars
- scientific article; zbMATH DE number 3872712
Cited in
(42)- On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems
- Variability-based model transformation: formal foundation and application
- Probabilistic timed graph transformation systems
- A navigational logic for reasoning about graph properties
- Patch graph rewriting
- On the interleaving semantics of transformation units -- a step into GRACE
- Attributed Graph Constraints
- Graph grammars according to the type of input and manipulated data: a survey
- How to specify a graph transformation approach: a meta model for \textsc{Fujaba}
- scientific article; zbMATH DE number 4094845 (Why is no real title available?)
- Theorem proving graph grammars with attributes and negative application conditions
- Modelling dynamic software architectures using typed graph grammars
- Reasoning with graph constraints
- A Logic of Graph Constraints
- scientific article; zbMATH DE number 7471695 (Why is no real title available?)
- On the power of local graph expansion grammars with and without additional restrictions
- Development of Correct Graph Transformation Systems
- scientific article; zbMATH DE number 3988733 (Why is no real title available?)
- scientific article; zbMATH DE number 7456052 (Why is no real title available?)
- Deriving Bisimulation Congruences in the Presence of Negative Application Conditions
- Transformation systems with incremental negative application conditions
- Initial conflicts for transformation rules with nested application conditions
- Transformation rules with nested application conditions: critical pairs, initial conflicts \& minimality
- Symbolic graphs for attributed graph constraints
- On the Specification and Verification of Model Transformations
- Explicit State Model Checking for Graph Grammars
- Extended triple graph grammars with efficient and compatible graph translators
- A simulator for probabilistic timed graph transformation systems with complex large-scale topologies
- Transformation of variants of Petri nets into context-dependent fusion grammars
- Conditional bigraphs
- Parallelism and concurrency in adhesive high-level replacement systems with negative application conditions
- Unfolding graph grammars with negative application conditions
- Matrix Graph Grammars with Application Conditions
- A graph-transformational approach for proving the correctness of reductions between NP-problems
- Structural and behavioural compatibility of graphical service specifications
- Embedding and Confluence of Graph Transformations with Negative Application Conditions
- Subobject transformation systems
- Modeling and verification of reliable messaging by graph transformation systems
- Simulation of generalised semi-Markov processes based on graph transformation systems
- Polymorphic sesqui-pushout graph rewriting
- Formal software specification with refinements and modules of typed graph transformation systems
- On the expressive power of algebraic graph grammars with application conditions
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4890712)
