Detecting Concurrency Anomalies in Transactional Memory Programs

João M. Lourenço, Diogo G. Sousa, Bruno C. Teixeira, Ricardo J. Dias
Posted Jan 1, 2011
Cite Link