Nested atomic sections with thread escape: a formal definition.

Frdric Dabrowski, Frdric Loulergue, Thomas Pinsard

Browse the full SAC paper archive.