Preface to the special issue on the 11th International Conference on Graph Transformation

This special issue contains extended versions of four selected papers from the 11th International Conference on Graph Transformation (ICGT 2018). The articles cover a tool for computing core graphs via SAT/SMT solvers (graph language definition), graph transformation through graph surfing in reactio...

Full description

Saved in:
Bibliographic Details
Published inJournal of logical and algebraic methods in programming Vol. 112; p. 100525
Main Authors Lambers, Leen, Weber, Jens
Format Journal Article
LanguageEnglish
Published Elsevier Inc 01.04.2020
Subjects
Concurrent graph rewriting
Conflicts and dependencies in graph transformation
Graph languages
Graph transformation
Graph languages
Graph transformation
Conflicts and dependencies in graph transformation
Concurrent graph rewriting
Online AccessGet full text

Cover

More Information
Summary:This special issue contains extended versions of four selected papers from the 11th International Conference on Graph Transformation (ICGT 2018). The articles cover a tool for computing core graphs via SAT/SMT solvers (graph language definition), graph transformation through graph surfing in reaction systems (a new graph transformation formalism), the essence and initiality of conflicts in M-adhesive transformation systems, and a calculus of concurrent graph-rewriting processes (theory on conflicts and parallel independence).
ISSN:2352-2208
DOI:10.1016/j.jlamp.2020.100525