Title :
Failsafe End-to-End Protocols in Computer Networks with Changing Topology
Author :
Cidon, Israel ; Rom, Raphael
Author_Institution :
IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
fDate :
4/1/1987 12:00:00 AM
Abstract :
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.
Keywords :
Communication system fault tolerance; Packet switching; Protocols; Circuit topology; Communication networks; Communication system control; Computer networks; Counting circuits; Error correction; Integrated circuit interconnections; Network topology; Protocols; Read only memory;
Journal_Title :
Communications, IEEE Transactions on
DOI :
10.1109/TCOM.1987.1096778