Generalized fair reachability analysis for cyclic protocols: Decidability for logical correctness problems

International Conference on Network Protocols

Volumn , Issue , 1994, Pages 100-107

  Liu, Hong ^a   Miller, Raymond E ^a  

^a UNIVERSITY OF MARYLAND   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTABILITY AND DECIDABILITY; ERROR CORRECTION; ERROR DETECTION; FORMAL LOGIC; MATHEMATICAL MODELS; NUMERICAL ANALYSIS; STATE ASSIGNMENT; STATE SPACE METHODS;

CYCLIC PROTOCOLS; FAIR REACHABILITY ANALYSIS; LOGIC ERRORS; STATE REDUCTION;

NETWORK PROTOCOLS;

EID: 0028737642     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Article

References (9)