StarTM: Automatic Verification of Snapshot Isolation in Transactional Memory Java Programs | Streamline

StarTM: Automatic Verification of Snapshot Isolation in Transactional Memory Java Programs

Citation:: Dias, RJ, Distefano D, Seco JC, Lourenço J. 2010. StarTM: Automatic Verification of Snapshot Isolation in Transactional Memory Java Programs. : CITI / DI-FCT-UNL

Abstract:

n/a

Notes:

n/a