R. J. A. Buhr
R. J. A. Buhr
John Plaice; William W. Wadge
John Plaice; William W. Wadge
Deepak Gupta; Pankaj Jalote
Deepak Gupta; Pankaj Jalote
Reverse reachability analysis: A new technique for deadlock detection on communicating finite state machines [0.03%]
Yung-Chen Hung; Gen-Huey Chen
Yung-Chen Hung; Gen-Huey Chen
Doug Kohlert; Ken Rodham; Dan Olsen
Doug Kohlert; Ken Rodham; Dan Olsen
Jeffrey H. Kingston
Jeffrey H. Kingston
Kirk Sayre; Michael A. Gray
Kirk Sayre; Michael A. Gray
Tamiya Onodera
Tamiya Onodera