Harry Rudin, Colin H. West
IEEE TC
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.
Harry Rudin, Colin H. West
IEEE TC
Harry Rudin, Heinrich Mueller
IEEE Transactions on Communications
Harry Rudin, Colin H. West, et al.
Computer Networks
Willibald A. Doeringer, Doug Dykeman, et al.
IEEE Transactions on Communications