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.
Published in:
Communications, IEEE Transactions on
(Volume:35
,
Issue:
4
)
Date of Publication: Apr 1987