A correctness proof of a topology information maintenance protocol for a distributed computer network

In order for the nodes of a distributed computer network to communicate, each node must have information about the network's topology. Since nodes and links sometimes crash, a scheme is needed to u...