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: compilationFrédéric Dabrowski, Frédéric Loulergue, Thomas Pinsard. SAC 2015: 2099-2106 [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]