Termination and Expressiveness of Execution Strategies for Networks of Bidirectional Model Transformations

Heiko Klare, Joshua Gleitze. Termination and Expressiveness of Execution Strategies for Networks of Bidirectional Model Transformations. Formal Asp. Comput., 35(3), September 2023. [doi]

Abstract

Abstract is missing.