A Randomized Concurrent Algorithm for Disjoint Set Union
Linearizability: a correctness condition for concurrent objects