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

Ricardo J. Dias, João M. Lourenço, João Costa Seco
Posted Jan 1, 2011
Cite