"The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++."

Nathan Chong, Tyler Sorensen, John Wickerson (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics