Dan Zhang 0002, Dragan Bosnacki, Mark van den Brand, Cornelis Huizing, Bart Jacobs 0002, Ruurd Kuiper, Anton Wijs. Verifying Atomicity Preservation and Deadlock Freedom of a Generic Shared Variable Mechanism Used in Model-To-Code Transformations. In Slimane Hammoudi, Luís Ferreira Pires, Bran Selic, Philippe Desfray, editors, Model-Driven Engineering and Software Development - 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers. Volume 692 of Communications in Computer and Information Science, pages 249-273, Springer, 2016. [doi]
Abstract is missing.