Michelle R. Hribar Valerie E. Taylor David E. Boyce Termination Detection for Parallel Shortest Path Algorithms. 153-165 1998 55 J. Parallel Distrib. Comput. 2 db/journals/jpdc/jpdc55.html#HribarTB98