Reachability testing of asynchronous message-passing programs

International Workshop on Software Engineering for Parallel and Distributed Systems, Proceedings

Volumn , Issue , 1997, Pages 50-61

  Tai, Kuo Chung ^a  

^a NORTH CAROLINA STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; ASYNCHRONOUS SEQUENTIAL LOGIC; COMPUTER SOFTWARE; CONCURRENCY CONTROL; HAZARDS AND RACE CONDITIONS; SEQUENTIAL SWITCHING;

ASYNCHRONOUS MESSAGE PASSING PROGRAMS; REACHABILITY TESTING; SYNCHRONIZATION SEQUENCE;

COMPUTER PROGRAMMING;

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

References (24)