Frédéric Dabrowski, Frédéric Loulergue, Thomas Pinsard. A formal semantics of nested atomic sections with thread escape. Computer Languages, Systems \& Structures, 42:2-21, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.