Title :
Using Automated Validation Techniques to Detect Lockups in Packet-Switched Networks
Author :
Sherman, Mark ; Rudin, Harry
Author_Institution :
Carnegie-Mellon Univ., Pittsburgh, PA, USA
fDate :
7/1/1982 12:00:00 AM
Abstract :
The existence of a program for automatically examining the syntax of a protocol for the absence of various undesired properties-such as deadlock-raises the question whether the classical `lockups´ described in the early packet-switched data network literature could be detected by such a program. The authors answer this question in the affirmative.
Keywords :
computer networks; data communication systems; packet switching; automated validation techniques; deadlock; lockups; packet-switched networks; protocol; syntax; ARPANET; Bismuth; Computer networks; Conferences; Distributed computing; Fasteners; Laboratories; Network topology; Protocols; Routing;
Journal_Title :
Communications, IEEE Transactions on
DOI :
10.1109/TCOM.1982.1095652