Foundations of the C++ Concurrency Memory Model (2008)

by H-J Boehm, S V Adve
Venue:In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation