Shahar Timnat, Erez Petrank
A practical wait-free simulation for lock-free data structures
PPoPP, 2014.
@inproceedings{PPoPP-2014-TimnatP, author = "Shahar Timnat and Erez Petrank", booktitle = "{Proceedings of the 19th Symposium on Principles and Practice of Parallel Programming}", doi = "10.1145/2555243.2555261", isbn = "978-1-4503-2656-8", pages = "357--368", publisher = "{ACM}", title = "{A practical wait-free simulation for lock-free data structures}", year = 2014, }