Unfolding semantics of graph transformation (original) (raw)
Related papers
Unfolding and event structure semantics for graph grammars
1999
A logic for analyzing abstractions of graph transformation systems
2003
Towards a Petri net Model for Graph Transformation Systems
2019
From Petri Nets to Graph Transformation Systems
2010
2005
Towards Translating Graph Transformation Approaches by Model Transformations
2006
21 Unfolding Techniques for Verifying Graph Transformation Systems
2004
Structured Operational Semantics for Graph Rewriting
Electronic Proceedings in Theoretical Computer Science, 2011
Unfolding Graph Transformation Systems: Theory and Applications to Verification
Lecture Notes in Computer Science, 2008
Handbook of graph grammars and computing by graph transformation: Applications, languages and tools
1999
Graph transformation for specification and programming
Science of Computer Programming, 1999
Loose semantics and constraints for graph transformation systems
1997
Graph grammars and operational semantics
Theoretical Computer Science, 1982
A static analysis technique for graph transformation systems
2001
Application of Graph Transformation to Visual Languages
Volume 2: Applications, Languages and Tools, 1999
Unfolding of double-pushout graph grammars is a coreflection
2000
Rule-based transformation of graph rewriting rules: Towards higher-order graph grammars
Theoretical Computer Science, 2015
Towards Unfolding-Based Verification for Graph Transformation Systems
2003
Verifying finite-state graph grammars: an unfolding-based approach
2004
1999
Dynamic graph transformation systems
Graph Transformations, 2006
1999
Graph grammar verification through abstraction
Dagstuhl Seminar Proceedings, 2004
How to Specify a Graph Transformation Approach
Electronic Notes in Theoretical Computer Science, 2001
Summary 2: Graph grammar verification through abstraction
2005
On the concurrent semantics of Algebraic Graph Grammars
2005
Handbook of graph grammars and computing by graph transformation
1997
Reusable Idioms and Patterns in Graph Transformation Languages
Electronic Notes in Theoretical Computer Science, 2004
Graph grammars and operations on graphs
1993
Formal Relationship between Petri Nets And Graph Grammars as Basis for Animation View in GenGED
Integrating the specification techniques of graph transformation and temporal logic
Lecture Notes in Computer Science, 1997
Verifying a behavioural logic for graph transformation systems
2004
Approximating the behaviour of graph transformation systems
2002