"Modularising Opacity Verification for Hybrid Transactional Memory."

Alasdair Armstrong, Brijesh Dongol (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics