Practical Progress Verification of Descriptor-Based Non-Blocking Data Structures.

Christina L. Peterson, Victor Cook, Damian Dechev

Browse the full MASCOTS paper archive.