Unfolding and event structure semantics for graph grammars (original) (raw)
Related papers
2005
Unfolding of double-pushout graph grammars is a coreflection
2000
Unfolding semantics of graph transformation
2007
Coreflective concurrent semantics for single-pushout graph grammars
2003
On the concurrent semantics of Algebraic Graph Grammars
2005
Structured Operational Semantics for Graph Rewriting
Electronic Proceedings in Theoretical Computer Science, 2011
Rule-based transformation of graph rewriting rules: Towards higher-order graph grammars
Theoretical Computer Science, 2015
A logic for analyzing abstractions of graph transformation systems
2003
Graph grammars and operational semantics
Theoretical Computer Science, 1982
Integrating the specification techniques of graph transformation and temporal logic
Lecture Notes in Computer Science, 1997
Graph grammar verification through abstraction
Dagstuhl Seminar Proceedings, 2004
Summary 2: Graph grammar verification through abstraction
2005
Correct transformation: From object-based graph grammars to PROMELA
Science of Computer Programming
Graph grammars and operations on graphs
1993
Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation
2004
Handbook of graph grammars and computing by graph transformation: Applications, languages and tools
1999
Double-pullback transitions and coalgebraic loose semantics for graph transformation systems
Applied Categorical Structures, 2001
Verifying finite-state graph grammars: an unfolding-based approach
2004
1999
Formal Relationship between Petri Nets And Graph Grammars as Basis for Animation View in GenGED
Concatenable graph processes: Relating processes and derivation traces
Lecture Notes in Computer Science, 1998
Modelling concurrent computations: from contextual Petri nets to graph grammars
2000
A study of two graph rewriting formalisms: Interaction Nets and MONSTR
1997
Formal relationship between Petri nets and graph grammars as basis for animation views in GenGED
2002
Towards a Petri net Model for Graph Transformation Systems
2019
Node Type Inheritance Concepts for Typed Graph Transformation
Loose semantics and constraints for graph transformation systems
1997
On the computation of McMillan's prefix for contextual nets and graph grammars
2010
Handbook of graph grammars and computing by graph transformation
1997
Graph grammars and tree transducers
Lecture Notes in Computer Science
Commutative Event Sourcing vs. Triple Graph Grammars
2021
Dactl: An experimental graph rewriting language
Lecture Notes in Computer Science
Graph transformation for specification and programming
Science of Computer Programming, 1999