Efficient and Correct Transactional Memory Programs Combining Snapshot Isolation and Static Analysis

Ricardo J. Dias, João M. Lourenço, Nuno Preguiça
Posted May 1, 2011
Cite Link