Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Marc Shapiro. Proving correctness of highly-concurrent linearisable objects. In Josep Torrellas, Siddhartha Chatterjee, editors, Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2006, New York, New York, USA, March 29-31, 2006. pages 129-136, ACM, 2006. [doi]
Abstract is missing.