Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation

Fernando Orejas, Esther Guerra, Juan de Lara, Hartmut Ehrig. Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation. In Alexander Kurz, Marina Lenisa, Andrzej Tarlecki, editors, Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings. Volume 5728 of Lecture Notes in Computer Science, pages 383-397, Springer, 2009. [doi]

Abstract

Abstract is missing.