None
FR
Proving the Correctness of Nonblocking Data Structures: So you’ve decided to use a nonblocking data structure, and now you need to be certain of its correctness. How can this be achieved?
Mathieu Desnoyers
ACM Queue - Concurrency
Nonblocking synchronization can yield astonishing results in terms of scalability and realtime response, but at the expense of verification state space.