Crash failures can drive protocols to arbitrary states

Proceedings of the Annual ACM Symposium on Principles of Distributed Computing

Volumn , Issue , 1996, Pages 247-256

  Jayaram, Mahesh ^a   Varghese, George ^a  

^a WASHINGTON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FAILURE ANALYSIS; PACKET SWITCHING; RESOURCE ALLOCATION; TELECOMMUNICATION LINKS; THEOREM PROVING;

ASYNCHRONOUS NETWORK PROTOCOLS; DATA LINK PROTOCOLS; PHYSICAL CONFIGURATION;

NETWORK PROTOCOLS;

EID: 0029711448     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/248052.248104     Document Type: Conference Paper

References (10)