Termination and Expressiveness of Execution Strategies for Networks of Bidirectional Model Transformations
Klare, Heiko
1; Gleitze, Joshua 1
1 Institut für Programmstrukturen und Datenorganisation (IPD), Karlsruher Institut für Technologie (KIT)
1; Gleitze, Joshua 11 Institut für Programmstrukturen und Datenorganisation (IPD), Karlsruher Institut für Technologie (KIT)
| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) Institut für Programmstrukturen und Datenorganisation (IPD) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsdatum | 30.09.2023 |
| Sprache | Englisch |
| Identifikator | ISSN: 0934-5043, 1433-299X KITopen-ID: 1000163903 |
| Erschienen in | Formal Aspects of Computing |
| Verlag | Springer |
| Band | 35 |
| Heft | 3 |
| Seiten | 1–35 |
| Vorab online veröffentlicht am | 13.09.2023 |
| Nachgewiesen in | OpenAlex Web of Science Scopus Dimensions |