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)

2 ×#category theory
2 ×#graph

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.