Proving that non-blocking algorithms don't block

Alexey Gotsman, Byron Cook, Matthew Parkinson, and Viktor Vafeiadis

Details

Publication typeArticle
Published inSIGPLAN Not.
URLhttp://doi.acm.org/10.1145/1594834.1480886
Pages16–28
Volume44
AddressNew York, NY, USA
PublisherACM
> Publications > Proving that non-blocking algorithms don't block