Semantics of transactional memory and automatic mutual exclusion

Martín Abadi, Andrew Birrell, Tim Harris, Michael Isard. Semantics of transactional memory and automatic mutual exclusion. ACM Transactions on Programming Languages and Systems, 33(1):2, 2011. [doi]

Abstract

Abstract is missing.