Verification of snapshot isolation in transactional memory Java programs

Ricardo J Dias, Dino Distefano, Joao Costa Seco, Joao M Lourenço
Posted Jan 1, 2012
Link