We present a derivation of Dijkstra's shortest path algorithm [Numer. Math.
1 (1959) 83]. We view the problem as computation of a "greatest solution"
of a set of equations. A UNITY-style computation [Chandy and Misra, Paralle
l Program Design: A Foundation, 1988] is then prescribed whose implementati
on results in Dijkstra's algorithm. (C) 2001 Elsevier Science B.V. All righ
ts reserved.