Software transactional memory on relaxed memory models (2009)

by Rachid Guerraoui, Thomas A Henzinger, Vasu Singh
Venue:In Proceedings of CAV’09, Seventh International Conference on Computer Aided Verification