Vol-1403
urn:nbn:de:0074-1403-3

Copyright © 2015 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

GCM 2015
Graph Computation Models

Proceedings of the 6th International Workshop on Graph Computation Models
co-located with the 8th International Conference on Graph Transformation (ICGT 2015)
part of the Software Technologies: Applications and Foundations (STAF 2015) federation of conferences

L'Aquila, Italy, July 20, 2015.

Edited by

Detlef Plump

Department of Computer Science, The University of York, United Kingdom

Table of Contents

20 Years of Concurrent Model Driven Application Engineering with Triple Graph Grammars (Abstract) 1-1
Andy Schürr
Coupled Transformations of Shared Packed Parse Forests 2-17
Vadim Zaytsev
Conditions, Constraints and Contracts: On the Use of Annotations for Policy Modeling 18-33
Paolo Bottoni, Roberto Navigli, Francesco Parisi Presicce
Global Graph Transformations 34-49
Luidnel Maignan, Antoine Spicher
Parallel Evaluation of Interaction Nets: Some Observations and Examples (Work-in-progress) 50-65
Ian Mackie, Shinya Sato
Attribution of Graphs by Composition of M,N-adhesive Categories 66-81
Christoph Peuser, Annegret Habel
Single-Pushout Rewriting of Partial Algebras 82-96
Michael Löwe, Marius Tempelmeier
On Correctness of Graph Programs Relative to Recursively Nested Conditions 97-112
Nils Erik Flick

The whole proceedings can also be downloaded as a single file (PDF, including title pages, preface, and table of contents).

2015-07-10: submitted by Detlef Plump, Javier Troya, metadata incl. bibliographic data published under Creative Commons CC0
2015-mm-dd: published on CEUR-WS.org |valid HTML5|