TY  - JOUR
A1  - Lambers, Leen
A1  - Weber, Jens
T1  - Preface to the special issue on the 11th International Conference on Graph Transformation
JF  - Journal of Logical and Algebraic Methods in Programming
N2  - 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).
KW  - graph transformation
KW  - graph languages
KW  - conflicts and dependencies in
KW  - concurrent graph rewriting
Y1  - 2020
U6  - https://doi.org/10.1016/j.jlamp.2020.100525
SN  - 2352-2208
VL  - 112
PB  - Elsevier
CY  - Amsterdam
ER  -