ACM Queue article: Proving the Correctness of Nonblocking Data Structures

Mathieu Desnoyers on 02 June 2013

Desnoyers, Mathieu, Proving the Correctness of Nonblocking Data Structures. ACM Queue, 11 (5): 30-43 (2013).

Back to blog