Derivation of a distributed algorithm for finding paths in directed networks

AbstractA 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 unidirectional. The program is derived using assertional reasoning