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

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