Detection of Snapshot Isolation Anomalies in Software Transactional Memory: A Statical Analysis Approach

Citation:
Dias, R. J., J. M. Lourenço, and J. C. Seco, Detection of Snapshot Isolation Anomalies in Software Transactional Memory: A Statical Analysis Approach, , no. UNL-DI-5-2011: Departamento de Informática FCT/UNL, 2011.

Abstract:

n/a

Notes:

n/a