Semantics of transactional memory and automatic mutual exclusion (2008)

by M Abadi, A Birrell, T Harris, M Isard
Venue:In ACM SIGPLANSIGACT Symposium on Principles of Programming Languages