DocumentCode :
768695
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
Volume :
30
Issue :
7
fYear :
1982
fDate :
7/1/1982 12:00:00 AM
Firstpage :
1762
Lastpage :
1767
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;
fLanguage :
English
Journal_Title :
Communications, IEEE Transactions on
Publisher :
ieee
ISSN :
0090-6778
Type :
jour
DOI :
10.1109/TCOM.1982.1095652
Filename :
1095652
Link To Document :
بازگشت