Deadlock detection by fair reachability analysis: from cyclic to multi-cyclic protocols (and beyond?)

Proceedings - International Conference on Distributed Computing Systems

Volumn , Issue , 1996, Pages 605-612

  Liu, Hong ^a   Miller, Raymond E ^a   van der Schoot, Hans ^a   Ural, Hasan ^a  

^a UNIVERSITY OF MARYLAND   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMMUNICATION CHANNELS (INFORMATION THEORY); COMPUTER SYSTEM RECOVERY; ELECTRIC NETWORK TOPOLOGY; ERROR DETECTION; FINITE AUTOMATA; MODELS; STATE SPACE METHODS;

CYCLIC PROTOCOLS; DEADLOCK DETECTION; FAIR REACHABILITY ANALYSIS; FINITE STATE MACHINES; MULTICYCLIC PROTOCOLS; STATE EXPLOSION;

NETWORK PROTOCOLS;

EID: 0029706975     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)