by Leen Lambers, Jens Weber
Abstract:
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).
Reference:
Preface to the special issue on the 11th International Conference on Graph Transformation (Leen Lambers, Jens Weber), In Journal of Logical and Algebraic Methods in Programming, volume 112, 2020.
Bibtex Entry:
@Article{LW20,
AUTHOR = {Lambers, Leen and Weber, Jens},
TITLE = {{Preface to the special issue on the 11th International Conference on Graph Transformation}},
YEAR = {2020},
JOURNAL = {Journal of Logical and Algebraic Methods in Programming},
VOLUME = {112},
PAGES = {100525},
URL = {http://www.sciencedirect.com/science/article/pii/S2352220820300109},
OPTacc_url = {},
PDF = {uploads/pdf/LW20_preface-final.pdf},
ABSTRACT = {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).}
}