Nested Atomic Sections with Thread Escape: An Operational Semantics. - Frédéric Dabrowski; Frédéric Loulergue; Thomas Pinsard (PDCAT, 2013)

Nested atomic sections with thread escape: a formal definition. - Frédéric Dabrowski; Frédéric Loulergue; Thomas Pinsard (SAC, 2014)

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 (2014)

Nested atomic sections with thread escape: compilation. - Frédéric Dabrowski; Frédéric Loulergue; Thomas Pinsard (SAC, 2015)

A formal semantics of nested atomic sections with thread escape. - Frédéric Dabrowski; Frédéric Loulergue; Thomas Pinsard (Comput. Lang. Syst. Struct., 2015)