Work

Termination Detection for Parallel Shortest Path Algorithms