Paolo Baldan
Andrea Corradini
Barbara König
2008
A framework for the verification of infinite-state graph transformation systems
Inf. Comput.
206
7
869–907
10.1016/j.ic.2008.04.002
Paolo Baldan
Andrea Corradini
Ugo Montanari
1998
Unfolding of Double-Pushout Graph Grammars is a Coreflection
TAGT
LNCS
1764
Springer
145–163
10.1007/978-3-540-46464-8_11
Paolo Baldan
Andrea Corradini
Ugo Montanari
Leila Ribeiro
2007
Unfolding semantics of graph transformation
Inf. Comput.
205
5
733–782
10.1016/j.ic.2006.11.004
Enrico Biermann
Hartmut Ehrig
Claudia Ermel
Ulrike Golas
Gabriele Taentzer
2010
Parallel independence of amalgamated graph transformations applied to model transformation
Graph transformations and model-driven engineering
Springer
121–140
10.1007/978-3-642-17322-6_7
Andrea Corradini
Maryam Ghaffari Saadat
Reiko Heckel
2019
Unfolding Graph Grammars with Negative Application Conditions
ICGT
Springer
93–110
10.1007/978-3-030-23611-3_6
Andrea Corradini
Reiko Heckel
2014
Canonical Derivations with Negative Application Conditions
ICGT
LNCS
8571
Springer
207–221
10.1007/978-3-319-09108-2_14
Andrea Corradini
Reiko Heckel
Frank Hermann
Susann Gottmann
Nico Nachtigall
2012
Transformation systems with incremental negative application conditions
International Workshop on Algebraic Development Techniques
Springer
127–142
10.1007/978-3-642-37635-1_8
Andrea Corradini
Ugo Montanari
Francesca Rossi
1996
Graph processes
Fundamenta Informaticae
26
3, 4
241–265
10.3233/FI-1996-263402
Andrea Corradini
Ugo Montanari
Francesca Rossi
Hartmut Ehrig
Reiko Heckel
Michael Löwe
1997
Algebraic approaches to graph transformation–part i: Basic concepts and double pushout approach
Handbook Of Graph Grammars And Computing By Graph Transformation: Volume 1: Foundations
World Scientific
163–245
10.1142/3303
Simone André da Costa Cavalheiro
Luciana Foss
Leila Ribeiro
2017
Theorem proving graph grammars with attributes and negative application conditions
TCS
686
25–77
10.1016/j.tcs.2017.04.010
Hartmut Ehrig
Michael Pfender
Hans Jürgen Schneider
1973
Graph-Grammars: An Algebraic Approach
14th Annual Symposium on Switching and Automata Theory, Iowa City, Iowa, USA, October 15-17, 1973
IEEE Computer Society
167–180
10.1109/SWAT.1973.11
Hartmut Ehrig
Karsten Ehrig ande Ulrike Prange
Gabriele Taentzer
2006
Fundamentals of Algebraic Graph Transformation
Monographs in Theoretical Computer Science. An EATCS Series
Springer
10.1007/3-540-31188-2
Maryam Ghaffari Saadat
Reiko Heckel
Fernando Orejas
2020
Unfolding Symbolic Attributed Graph Grammars
ICGT
LNCS
12150
Springer
75–90
10.1007/978-3-030-51372-6_5
Annegret Habel
Reiko Heckel
Gabriele Taentzer
1996
Graph Grammars with Negative Application Conditions
Fundam. Inform.
26
3/4
287–313
10.3233/FI-1996-263404
Annegret Habel
Karl-Heinz Pennemann
2009
Correctness of high-level transformation systems relative to nested conditions
Math. Struct. Comput. Sci.
19
2
245–296
10.1017/S0960129508007202
Reiko Heckel
Gabriele Taentzer
2020
Graph Transformation for Software Engineers: With Applications to Model-Based Development and Domain-Specific Language Engineering
1
Springer International Publishing
10.1007/978-3-030-43916-3
Manuel Koch
Francesco Parisi-Presicce
2002
Describing policies with graph constraints and rules
International Conference on Graph Transformation
Springer
223–238
10.1007/3-540-45832-8_18
Stephen Lack
PawełSobociński
2004
Adhesive categories
FOSSACS
Springer
273–288
10.1007/978-3-540-24727-2_20
Leen Lambers
2009
Certifying rule-based models using graph transformation.
Berlin Institute of Technology
Nebras Nassar
Jens Kosiol
Thorsten Arendt
Gabriele Taentzer
2020
Constructing optimized constraint-preserving application conditions for model transformation rules
J. Log. Algebraic Methods Program.
114
10.1016/j.jlamp.2020.100564
Fernando Orejas
Leen Lambers
2010
Symbolic Attributed Graphs for Attributed Graph Transformation
ECEASST
30
10.14279/tuj.eceasst.30.405
Bruno Pinaud
Guy Melançon
Jonathan Dubois
2012
PORGY: a visual graph rewriting environment for complex systems
Computer Graphics Forum
31
Wiley Online Library
1265–1274
10.1111/j.1467-8659.2012.03119.x
Grzegorz Rozenberg
1986
Behaviour of Elementary Net Systems
ACPN
LNCS
254
Springer
60–94
10.1007/BFb0046836
Fabian Vogelsteller
Vitalik Buterin
2015
ERC-20 Token Standard: A standard interface for tokens
https://github.com/ethereum/EIPs/blob/master/EIPS/eip-20.md