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

@proceedings{GCM-2010,
	editor        = "Rachid Echahed and Annegret Habel and Mohamed Mosbah",
	journal       = "{Electronic Communications of the EASST}",
	title         = "{Proceedings of the Third International Workshop on Graph Computation Models}",
	volume        = 39,
	year          = 2011,
}

Contents (7 items)

3 ×#graph

GCM-2010-BottoniFP11 #constraints #incremental #policy

Incremental update of constraint-compliant policy rules (PB, AF, FPP).

GCM-2010-GolasBEE11 #graph transformation #interpreter #semantics #visual notation

A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation (UG, EB, HE, CE).

GCM-2010-GolasEH11 #graph grammar #model transformation #specification

Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions (UG, HE, FH).

GCM-2010-HeumullerJKS11 #category theory

Construction of Pushout Complements in the Category of Hypergraphs (MH, SJ, BK, JS).

GCM-2010-HoffmannM11 #adaptation #diagrams #generative #graph

Generating Instance Graphs from Class Diagrams with Adaptive Star Grammars (BH, MM).

GCM-2010-PicardM11 #embedded #graph #induction #problem #representation

Coinductive Graph Representation: the Problem of Embedded Lists (CP, RM).

GCM-2010-PlumpSS11 #automaton #finite #graph #source code

Minimizing Finite Automata with Graph Programs (DP, RS, AS).