GCM 2016 - International Workshop on Graph Computation Models

Graphs are common mathematical structures which are visual and intuitive. They constitute a natural and seamless way for system modeling in science, engineering and beyond, including computer science, life sciences, business processes, etc. Graph computation models constitute a class of very high level models where graphs are first-class citizens. They generalize classical computation models based on strings (e.g., Chomsky grammars) or on trees (e.g., term rewrite systems). Their mathematical foundation, in addition to their visual nature, facilitates the specification, validation and analysis of complex systems. A variety of computation models have been developed using graphs and rule-based graph transformation. These models include features of programming languages and systems, paradigms for software development, concurrent calculi, local computations and distributed algorithms, and biological or chemical computations. The aim of GCM 2016 is to bring together researchers interested in all aspects of computation models based on graphs and graph transformation techniques.
Organizer:
Barbara König (Universität Duisburg-Essen, Germany)