Skip to main content

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