IEEE - Institute of Electrical and Electronics Engineers, Inc. - Deadlock detection by fair reachability analysis: from cyclic to multi-cyclic protocols (and beyond?)

Proceedings of 16th International Conference on Distributed Computing Systems

Author(s): Hong Liu ; Miller, R.E. ; Van Der Schoot, H. ; Ural, H.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1996
Conference Location: Hong Kong, Hong Kong
Conference Date: 27 May 1996
Page(s): 605 - 612
ISBN (Paper): 0-8186-7399-0
DOI: 10.1109/ICDCS.1996.508011
Regular:

We generalize the technique of fair reachability analysis to multi-cyclic protocols modeled as networks of communicating finite state machines, where a number of cyclic protocols are... View More

Advertisement