Media type: E-Article Title: Deadlock detection in communicating finite state machines Contributor: Gurari, Eitan M.; Lai, Ten Hwang Published: Association for Computing Machinery (ACM), 1984 Published in: ACM SIGACT News, 16 (1984) 1, Seite 63-64 Language: English DOI: 10.1145/1008949.1008957 ISSN: 0163-5700 Keywords: General Medicine Origination: Footnote: Access State: Open Access