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).
| Verfasserangaben: | Leen LambersORCiDGND, Jens Weber |
|---|---|
| DOI: | https://doi.org/10.1016/j.jlamp.2020.100525 |
| ISSN: | 2352-2208 |
| Titel des übergeordneten Werks (Englisch): | Journal of Logical and Algebraic Methods in Programming |
| Verlag: | Elsevier |
| Verlagsort: | Amsterdam |
| Publikationstyp: | Wissenschaftlicher Artikel |
| Sprache: | Englisch |
| Datum der Erstveröffentlichung: | 24.01.2020 |
| Erscheinungsjahr: | 2020 |
| Datum der Freischaltung: | 13.04.2023 |
| Freies Schlagwort / Tag: | concurrent graph rewriting; conflicts and dependencies in; graph languages; graph transformation |
| Band: | 112 |
| Aufsatznummer: | 100525 |
| Seitenanzahl: | 2 |
| Organisationseinheiten: | An-Institute / Hasso-Plattner-Institut für Digital Engineering gGmbH |
| DDC-Klassifikation: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
| Peer Review: | Referiert |
