Refine
Has Fulltext
- no (1)
Year of publication
- 2020 (1)
Document Type
- Article (1)
Language
- English (1) (remove)
Is part of the Bibliography
- yes (1)
Keywords
- conflicts and dependencies in (1) (remove)
Institute
- Hasso-Plattner-Institut für Digital Engineering gGmbH (1) (remove)
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).