On Using Separation Logic to Detect Snapshot Isolation Anomalies in Software Transactional Memory

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