Damien Imbs, Michel Raynal. Provable STM Properties: Leveraging Clock and Locks to Favor Commit and Early Abort. In Vijay K. Garg, Roger Wattenhofer, Kishore Kothapalli, editors, Distributed Computing and Networking, 10th International Conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009. Proceedings. Volume 5408 of Lecture Notes in Computer Science, pages 67-78, Springer, 2009. [doi]
Abstract is missing.