Robert E. Tarjan

Concurrent Connected Components