Derivation of a Distributed Algorithm for Finding Paths in Directed Networks
McCurley, E. Robert; Schneider, Fred B.
A distributed algorithm is developed that can be used to compute the topology of a network, given that each site starts with information about sites it is adjacent to, the network is strongly connected, and communication channels are uni-directional. The program is derived and proved correct using assertional reasoning.
computer science; technical report
Previously Published As