Publication
IEEE Transactions on Communications
Paper

Using Automated Validation Techniques to Detect Lockups in Packet-Switched Networks

View publication

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. This concise paper answers this question in the affirmative. Copyright © 1982 by The Institute of Electrical and Electronics Engineers, Inc.

Date

01 Jan 1982

Publication

IEEE Transactions on Communications

Authors

Share