ACM Home Page
Please provide us with feedback. Feedback
A correctness proof of a topology information maintenance protocol for a distributed computer network
Full text PdfPdf (924 KB)
Source
Communications of the ACM archive
Volume 20 ,  Issue 7  (July 1977) table of contents
Pages: 477 - 485  
Year of Publication: 1977
ISSN:0001-0782
Author
William D. Tajibnapis  MERIT Computer Network, Minneapolis, MN
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 7,   Downloads (12 Months): 43,   Citation Count: 25
Additional Information:

abstract   references   cited by   index terms  

Tools and Actions: Request Permissions Request Permissions    Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/359636.359701
What is a DOI?

ABSTRACT

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 update this information. One of the major constraints on such a topology information scheme is that it may not involve a central controller. The Topology Information Protocol that was implemented on the MERIT Computer Network is presented and explained; this protocol is quite general and could be implemented on any computer network. It is based on Baran's “Hot Potato Heuristic Routing Doctrine.” A correctness proof of this Topology Information Protocol is also presented.


REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

 
1
Aupperle, E.M. The MERIT network re-examined. Digest of Papers, COMPCON 73, Feb. 1973, pp. 25-29.
 
2
Baran, P. On distributed communication networks. IEEE Trans. Comm. Syst. CS-12 (March 1964), 109.
 
3
Cocanower, A.B., Fischer, W., Gerstenberger, W.S., and Read, B.S. The communications computer operating system-the initial design. No. PB203 552, Nat. Tech. Inform. Service, Springfield, Va., Oct. 1970, p. 94.
 
4
Frank, H., Kahn, R.E., and Kleinrock, L. Computer communication network design-experience with theory and practice. Proc. AFIPS 1972 SJCC, Vol. 40, AFIPS Press, Montvale, N.J.; pp. 255-270 (Contains an extensive bibliography on computer networks).
 
5
Heart, F.W., Kahn, R.E., Ornstein, S.M., Crowther, W.R., and Walden, D.C. The interface message processor for the ARPA computer networks. Proc. AFIPS 1970 SJCC, Vol. 36, AFIPS Press, Montvale, N.J., pp. 551-567.
 
6
Herzog, B. Computer networks. Proc. Int. Comptg. Symp., Venice, Italy, April 1972, pp. 12-14.
 
7

CITED BY  25