On the Correctness of Orphan Management Algorithms

Maurice Herlihy, Nancy A. Lynch, Michael Merritt, William E. Weihl. On the Correctness of Orphan Management Algorithms. Journal of the ACM, 39(4):881-930, 1992. [doi]

Abstract

Abstract is missing.