Semantics of transactional memory and automatic mutual exclusion.

Martn Abadi, Andrew Birrell, Tim Harris, Michael Isard

Browse the full POPL paper archive.