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]
@inproceedings{ImbsR09,
title = {Provable STM Properties: Leveraging Clock and Locks to Favor Commit and Early Abort},
author = {Damien Imbs and Michel Raynal},
year = {2009},
doi = {10.1007/978-3-540-92295-7_11},
url = {http://dx.doi.org/10.1007/978-3-540-92295-7_11},
researchr = {https://researchr.org/publication/ImbsR09},
cites = {0},
citedby = {0},
pages = {67-78},
booktitle = {Distributed Computing and Networking, 10th International Conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009. Proceedings},
editor = {Vijay K. Garg and Roger Wattenhofer and Kishore Kothapalli},
volume = {5408},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-92294-0},
}