A model of dynamic separation for transactional memory

Martín Abadi, Tim Harris, Katherine F. Moore. A model of dynamic separation for transactional memory. Inf. Comput., 208(10):1093-1117, 2010. [doi]

Abstract

Abstract is missing.