A Methodology for Implementing Highly Concurrent Data Structures.

Maurice Herlihy

Browse the full PPoPP paper archive.