Proving correctness of highly−concurrent linearisable objects
Viktor Vafeiadis‚ Maurice Herlihy‚ Tony Hoare and Marc Shapiro
Book Title
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming‚ PPOPP 2006‚ New York‚ New York‚ USA‚ March 29−31‚ 2006
Editor
Josep Torrellas and Siddhartha Chatterjee
Pages
129−136
Publisher
ACM
Year
2006