Composable Memory Transactions
In this paper we present a concurrency model based on transactional memory. All the usual benefits of transactional memory are present, but in addition we describe modular forms of blocking and choice that were inaccessible in earlier work.