Semantics of transactional memory and automatic mutual exclusion (2008)

by A Martin, A Birrell, T Harris, M Isard
Venue:In Principles of Programming Languages (POPL