Modularising Opacity Verification for Hybrid Transactional Memory.

Alasdair Armstrong, Brijesh Dongol

Browse the full FORTE paper archive.