Detecting concurrency anomalies in transactional memory programs.

João Lourenço Diogo Sousa Bruno C. Teixeira Ricardo J. Dias Detecting concurrency anomalies in transactional memory programs. 534-548 2011 8 Comput. Sci. Inf. Syst. 2 http://dx.doi.org/10.2298/CSIS110110007L db/journals/comsis/comsis8.html#LourencoSTD11