Foundations of the C++ concurrency memory model (2008)

by H-J Boehm, S Adve
Venue:In Proc. PLDI