Termination of High-Level Replacement Units with Application to Model Transformation

Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer. Termination of High-Level Replacement Units with Application to Model Transformation. Electronic Notes in Theoretical Computer Science, 127(4):71-86, 2005. [doi]

Abstract

Abstract is missing.