Verification of Snapshot Isolation in Transactional Memory Java Programs | Streamline

Verification of Snapshot Isolation in Transactional Memory Java Programs

Citation:: Dias, RJ, Distefano D, Seco JC, Lourenço J. 2012. Verification of Snapshot Isolation in Transactional Memory Java Programs, June 11-16. 26th European Conference on Object-Oriented Programming. :640-664., Beijing, China

Date Presented:

June 11-16

Abstract:

n/a

Notes:

n/a