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 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).
| Author details: | Leen LambersORCiDGND, Jens Weber |
|---|---|
| DOI: | https://doi.org/10.1016/j.jlamp.2020.100525 |
| ISSN: | 2352-2208 |
| Title of parent work (English): | Journal of Logical and Algebraic Methods in Programming |
| Publisher: | Elsevier |
| Place of publishing: | Amsterdam |
| Publication type: | Article |
| Language: | English |
| Date of first publication: | 2020/01/24 |
| Publication year: | 2020 |
| Release date: | 2023/04/13 |
| Tag: | concurrent graph rewriting; conflicts and dependencies in; graph languages; graph transformation |
| Volume: | 112 |
| Article number: | 100525 |
| Number of pages: | 2 |
| Organizational units: | An-Institute / Hasso-Plattner-Institut für Digital Engineering gGmbH |
| DDC classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
| Peer review: | Referiert |
