ACM Queue article: Proving the Correctness of Nonblocking Data Structures

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

»

Copyright © 2016, EfficiOS Inc.