Volume 73: Graph Computation Models - Selected Revised Papers from GCM 2015

DOI: http://dx.doi.org/10.14279/tuj.eceasst.73

Table of Contents

Preface

Preface
Detlef Plump
PDF

Articles

20 Years of Triple Graph Grammars: A Roadmap for Future Research
Anthony Anjorin, Erhan Leblebici, Andy Schürr
PDF
Cotransforming Grammars with Shared Packed Parse Forests
Vadim Zaytsev
PDF
Conditions, constraints and contracts: On the use of annotations for policy modeling
Paolo Bottoni, Roberto Navigli, Francesco Parisi-Presicce
PDF
Parallel Evaluation of Interaction Nets: Case Studies and Experiments
Ian Mackie, Shinya Sato
PDF
Composition of M,N-adhesive Categories with Application to Attribution of Graphs
Christoph Peuser, Annegret Habel
PDF
On Single-Pushout Rewriting of Partial Algebras
Michael Löwe, Marius Tempelmeier
PDF
Proving Correctness of Graph Programs Relative to Recursively Nested Conditions
Nils Erik Flick
PDF