| 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

- Preface
- Organisation

- 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|