Reference:
Leen Lambers and Jens Weber, "Preface to the special issue on the 11th International Conference on Graph Transformation", Journal of Logical and Algebraic Methods in Programming, vol. 112, pp. 100525, 2020.
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).
Links:
@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).}
}Copyright notice: This material is presented to ensure timely dissemination of
scholarly and technical work. Copyright and all rights therein are retained by
authors or by other copyright holders. All persons copying this information are
expected to adhere to the terms and constraints invoked by each author's copyright.
In most cases, these works may not be reposted without the explicit permission of
the copyright holder.
Powered by
bibtexbrowser