Afshin Amighi, Stefan Blom, Marieke Huisman. Resource Protection Using Atomics - Patterns and Verification. In Jacques Garrigue, editor, Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings. Volume 8858 of Lecture Notes in Computer Science, pages 255-274, Springer, 2014. [doi]
Abstract is missing.