List Ranking

Prove the correctness of the parallel algorithm that computes the list ranking