Rachid Echahed, Annegret Habel, Mohamed Mosbah
Proceedings of the Fourth International Workshop on Graph Computation Models
GCM, 2013.

@proceedings{GCM-J-2012,
	editor        = "Rachid Echahed and Annegret Habel and Mohamed Mosbah",
	journal       = "{Electronic Communications of the EASST}",
	title         = "{Proceedings of the Fourth International Workshop on Graph Computation Models}",
	volume        = 61,
	year          = 2013,
}

Contents (9 items)

4 ×#graph
3 ×#graph grammar
2 ×#graph transformation

GCM-J-2012-ErmlerKLT #graph transformation #reduction

A Graph Transformational View on Reductions in NP (ME, SK, ML, CvT).

GCM-J-2012-FaithfullPH #development #graph

Big Red: A Development Environment for Bigraphs (AJF, GP, TTH).

GCM-J-2012-Flick #graph grammar

Derivation Languages of Graph Grammars (NEF).

GCM-J-2012-Hoffmann #graph grammar #refinement

Graph Rewriting with Contextual Refinement (BH).

GCM-J-2012-KniemeyerK #graph transformation #model transformation #named #transformation language

XL4C4D — Adding the Graph Transformation Language XL to CINEMA 4D (OK, WK).

GCM-J-2012-MantzTL #co-evolution #graph

Co-Transformation of Type and Instance Graphs Supporting Merging of Types and Retyping (FM, GT, YL).

GCM-J-2012-PoskittP #correctness #graph #source code #verification

Verifying Total Correctness of Graph Programs (CMP, DP).

GCM-J-2012-Radke #graph #higher-order #monad

HR* Graph Conditions Between Counting Monadic Second-Order and Second-Order Graph Formulas (HR).

GCM-J-2012-SmolenovaKC #graph grammar #parallel #performance

Parallel Graph Grammars with Instantiation Rules Allow Efficient Structural Factorization of Virtual Vegetation (KS, WK, PHC).