## Detlef Plump

*Proceedings of the Sixth International Workshop on Graph Computation Models*

GCM, 2015.

@proceedings{GCM-2015,
address = "L'Aquila, Italy",
editor = "Detlef Plump",
ee = "http://ceur-ws.org/Vol-1403",
publisher = "{CEUR-WS.org}",
series = "{CEUR Workshop Proceedings}",
title = "{Proceedings of the Sixth International Workshop on Graph Computation Models}",
volume = 1403,
year = 2015,
}

### Contents (7 items)

- GCM-2015-Zaytsev #co-evolution
- Coupled Transformations of Shared Packed Parse Forests (VZ), pp. 2–17.
- GCM-2015-BottoniNP #constraints #contract #modelling #policy #using
- Conditions, Constraints and Contracts: On the Use of Annotations for Policy Modeling (PB, RN, FPP), pp. 18–33.
- GCM-2015-MaignanS #graph transformation
- Global Graph Transformations (LM, AS), pp. 34–49.
- GCM-2015-MackieS #evaluation #interactive #parallel
- Parallel Evaluation of Interaction Nets: Some Observations and Examples (IM, SS), pp. 50–65.
- GCM-2015-PeuserH #category theory #composition #graph
- Attribution of Graphs by Composition of M, N-adhesive Categories (CP, AH), pp. 66–81.
- GCM-2015-LoweT #algebra #category theory
- Single-Pushout Rewriting of Partial Algebras (ML, MT), pp. 82–96.
- GCM-2015-Flick #correctness #graph #on the #recursion #source code
- On Correctness of Graph Programs Relative to Recursively Nested Conditions (NEF), pp. 97–112.