Frédéric Dabrowski, Frédéric Loulergue, Thomas Pinsard. Nested Atomic Sections with Thread Escape: An Operational Semantics. In Shi-Jinn Horng, editor, International Conference on Parallel and Distributed Computing, Applications and Technologies, PDCAT 2013, Taipei, Taiwan, December 16-18, 2013. pages 29-35, IEEE, 2013. [doi]
Abstract is missing.