Semantics of transactional memory and automatic mutual exclusion (2008)

by Martı́n Abadi, Andrew Birrell, Tim Harris, Michael Isard
Venue:In 35th ACM Symposium on Principles of Programming Languages (POPL