Failsafe End-to-End Protocols in Computer Networks with Changing Topology
Israel Cidon, R. Rom · IEEE Transactions on Communications · 1987
End-to-end protocols in computer networks in which the topology changes with time are investigated. A protocol that delivers all packets ordered, without duplication, and which uses a window is presented. Using a precise model of the network correctness of the protocol is proven. The use of the window for flow control is also addressed.