Verifying Atomicity Preservation and Deadlock Freedom of a Generic Shared Variable Mechanism Used in Model-To-Code Transformations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Dan Zhang 0002' in GoogleThis author has not been identified. Look up 'Dragan Bosnacki' in GoogleThis author has not been identified. It may be one of the following persons:

Mark G. J. van den Brand

Look up 'Mark van den Brand' in GoogleThis author has not been identified. Look up 'Cornelis Huizing' in GoogleThis author has not been identified. Look up 'Bart Jacobs 0002' in GoogleThis author has not been identified. Look up 'Ruurd Kuiper' in GoogleThis author has not been identified. Look up 'Anton Wijs' in Google

runs on WebDSL