Transactional Locking II
Distributed Computing
Nir Shavit
Dave Dice
Checkpoints and Continuations Instead of Nested Transactions