David Harel, Guy Katz, Assaf Marron, Gera Weiss. The Effect of Concurrent Programming Idioms on Verification - A Position Paper. In Slimane Hammoudi, Luís Ferreira Pires, Philippe Desfray, Joaquim Filipe, editors, MODELSWARD 2015 - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development, ESEO, Angers, Loire Valley, France, 9-11 February, 2015. pages 363-369, SciTePress, 2015. [doi]
Abstract is missing.