Transactional Locking II
Distributed Computing
Nir Shavit
Ori Shalev
Checkpoints and Continuations Instead of Nested Transactions