Nested Atomic Sections with Thread Escape: An Operational Semantics.

Frdric Dabrowski, Frdric Loulergue, Thomas Pinsard

Browse the full PDCAT paper archive.