Pregel Algorithms for Graph Connectivity Problems with Performance Guarantees
GPS: a graph processing system