On the Correctness of Transactional Memory Algorithms

Mohsen Lesani. On the Correctness of Transactional Memory Algorithms. PhD thesis, University of California, Los Angeles, USA, 2014. [doi]

Abstract

Abstract is missing.