Finding strongly connected components in distributed graphs
On Identifying Strongly Connected Components in Parallel