Semantics of transactional memory and automatic mutual exclusion (2008)

by Martín Abadi , Andrew Birrell , Tim Harris , Michael Isard
Venue:In Proceedings of the 35th ACM SIGPLANSIGACT Symposium on Principles of Programming Languages (POPL
Citations:68 - 8 self