The following publications are possibly variants of this publication:
- A formal semantics of nested atomic sections with thread escapeFrédéric Dabrowski, Frédéric Loulergue, Thomas Pinsard. Comp. Lang., Syst. \& Struct., 42:2-21, 2015. [doi]
- Nested Atomic Sections with Thread Escape: An Operational SemanticsFrédéric Dabrowski, Frédéric Loulergue, Thomas Pinsard. pdcat 2013: 29-35 [doi]
- Nested atomic sections with thread escape: a formal definitionFrédéric Dabrowski, Frédéric Loulergue, Thomas Pinsard. SAC 2014: 1585-1592 [doi]
- Sections atomiques emboîtées avec échappement de processus légers : sémantiques et compilation. (Nested atomic sections with thread escape : semantics and compilation)Thomas Pinsard. PhD thesis, University of Orléans, France, 2014. [doi]