Verification of Snapshot Isolation in Transactional Memory Java Programs.

Ricardo J. Dias, Dino Distefano, Joo Costa Seco, Joo Loureno

Browse the full ECOOP paper archive.