A Static Approach for Detecting Concurrency Anomalies in Transactional Memory

Bruno C. Teixeira, João M. Lourenço, Diogo G. Sousa
Posted Jan 1, 2010
Cite Link