Aditya Agrawal, Gabor Karsai, Sandeep Neema, Feng Shi & Attila Vizhanyo (2006):
The design of a language for model transformations.
Software and System Modeling 5(3),
pp. 261–288,
doi:10.1007/s10270-006-0027-7.
Christopher Bak (2015):
GP 2: Efficient Implementation of a Graph Programming Language.
Department of Computer Science, The University of York.
Available at http://etheses.whiterose.ac.uk/12586/.
Christopher Bak, Glyn Faulkner, Detlef Plump & Colin Runciman (2015):
A Reference Interpreter for the Graph Programming Language GP 2.
In: Proc. Graphs as Models (GaM 2015),
Electronic Proceedings in Theoretical Computer Science 181,
pp. 48–64,
doi:10.4204/EPTCS.181.
Christopher Bak & Detlef Plump (2016):
Compiling Graph Programs to C.
In: Proc. International Conference on Graph Transformation (ICGT 2016),
Lecture Notes in Computer Science.
Springer.
To appear.
Jørgen Bang-Jensen & Gregory Gutin (2009):
Digraphs: Theory, Algorithms and Applications,
second edition.
Springer,
doi:10.1007/978-1-84800-998-1.
Thomas H. Cormen, Charles E. Leiserson, Robert L. Rivest & Clifford Stein (2009):
Introduction to Algorithms,
third edition.
The MIT Press.
R. J. Duffin (1965):
Topology of Series-Parallel Networks.
Journal of Mathematical Analysis and Applications 10(2),
pp. 303–318,
doi:10.1016/0022-247X(65)90125-3.
Maribel Fernández, Hélène Kirchner, Ian Mackie & Bruno Pinaud (2014):
Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY.
In: Proc. Computability in Europe (CiE 2014),
Lecture Notes in Computer Science 8493.
Springer,
pp. 183–193,
doi:10.1007/978-3-319-08019-2_19.
Amir Hossein Ghamarian, Maarten de Mol, Arend Rensink, Eduardo Zambon & Maria Zimakova (2012):
Modelling and analysis using GROOVE.
International Journal on Software Tools for Technology Transfer 14(1),
pp. 15–40,
doi:10.1007/s10009-011-0186-x.
Edgar Jakumeit, Sebastian Buchwald & Moritz Kroll (2010):
GrGen.NET - The expressive, convenient and fast graph rewrite system.
International Journal on Software Tools for Technology Transfer 12(3–4),
pp. 263–271,
doi:10.1007/s10009-010-0148-8.
Detlef Plump (2005):
Confluence of Graph Transformation Revisited.
In: Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday,
Lecture Notes in Computer Science 3838.
Springer,
pp. 280–308,
doi:10.1007/11601548.
Detlef Plump (2012):
The Design of GP 2.
In: Proc. Workshop on Reduction Strategies in Rewriting and Programming (WRS 2011),
Electronic Proceedings in Theoretical Computer Science 82,
pp. 1–16,
doi:10.4204/EPTCS.82.1.
Christopher M. Poskitt & Detlef Plump (2012):
Hoare-Style Verification of Graph Programs.
Fundamenta Informaticae 118(1-2),
pp. 135–175,
doi:10.3233/FI-2012-708.
Christopher M. Poskitt & Detlef Plump (2014):
Verifying Monadic Second-Order Properties of Graph Programs.
In: Proc. International Conference on Graph Transformation (ICGT 2014),
Lecture Notes in Computer Science 8571.
Springer,
pp. 33–48,
doi:10.1007/978-3-319-09108-2_3.
Olga Runge, Claudia Ermel & Gabriele Taentzer (2012):
AGG 2.0 — New Features for Specifying and Analyzing Algebraic Graph Transformations.
In: Proc. Applications of Graph Transformations with Industrial Relevance (AGTIVE 2011),
Lecture Notes in Computer Science 7233.
Springer,
pp. 81–88,
doi:10.1007/978-3-642-34176-2_8.
eptcs@eptcs.org