Foundations of the C++ concurrency memory model.

Hans-Juergen Boehm, Sarita V. Adve

Browse the full PLDI paper archive.