Susann Gottmann, Frank Hermann 0001, Nico Nachtigall, Benjamin Braatz, Claudia Ermel, Hartmut Ehrig, Thomas Engel. Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars. In Benoit Baudry, Jürgen Dingel, Levi Lucio, Hans Vangheluwe, editors, Proceedings of the Second Workshop on the Analysis of Model Transformations (AMT 2013), Miami, FL, USA, September 29, 2013. Volume 1077 of CEUR Workshop Proceedings, CEUR-WS.org, 2013. [doi]
Abstract is missing.