Shahar Timnat, Erez Petrank. A practical wait-free simulation for lock-free data structures. In José Moreira, James R. Larus, editors, ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP '14, Orlando, FL, USA, February 15-19, 2014. pages 357-368, ACM, 2014. [doi]
Abstract is missing.