Practical concurrent binary search trees via logical ordering.

Dana Drachsler, Martin T. Vechev, Eran Yahav

Browse the full PPoPP paper archive.