A practical wait-free simulation for lock-free data structures.

Shahar Timnat, Erez Petrank

Browse the full PPoPP paper archive.