Verification of Snapshot Isolation in Transactional Memory Java Programs.

Ricardo J. Dias Dino Distefano João Costa Seco João Lourenço

Published in: ECOOP (2012)

Keyphrases

java programs
software components
concurrency control
test suite
computing systems
transaction processing
case study
general purpose
computer systems
distributed databases
parallel computing
massively parallel