{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:56:24Z","timestamp":1750308984274,"version":"3.41.0"},"reference-count":6,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[1984,1,1]],"date-time":"1984-01-01T00:00:00Z","timestamp":441763200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGACT News"],"published-print":{"date-parts":[[1984,1]]},"DOI":"10.1145\/1008939.1008947","type":"journal-article","created":{"date-parts":[[2004,10,12]],"date-time":"2004-10-12T15:20:46Z","timestamp":1097594446000},"page":"63-64","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Deadlock detection in communicating finite state machines"],"prefix":"10.1145","volume":"15","author":[{"given":"Eitan M.","family":"Gurari","sequence":"first","affiliation":[{"name":"Ohio State University, Columbus, Ohio"}]},{"given":"Ten Hwang","family":"Lai","sequence":"additional","affiliation":[{"name":"Ohio State University, Columbus, Ohio"}]}],"member":"320","published-online":{"date-parts":[[1984,1]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"crossref","unstructured":"Bochmann G. \"Finite state description of communication protocols \" Computer Networks (1978) p. 361--372.  Bochmann G. \"Finite state description of communication protocols \" Computer Networks (1978) p. 361--372.","DOI":"10.1016\/0376-5075(78)90015-6"},{"key":"e_1_2_1_2_1","unstructured":"Merlin P. and Bochmann \"On the construction of communication protocols and module specification \" Proceedings of the 14th ICCC (1980).  Merlin P. and Bochmann \"On the construction of communication protocols and module specification \" Proceedings of the 14th ICCC (1980)."},{"key":"e_1_2_1_3_1","first-page":"1053","article-title":"On communicating finite-state machines","author":"Brand D.","year":"1981","unstructured":"Brand , D. and Zafiropulo , P ., \" On communicating finite-state machines ,\" IBM Research Report RZ 1053 ( 1981 ). Brand, D. and Zafiropulo, P., \"On communicating finite-state machines,\" IBM Research Report RZ 1053 (1981).","journal-title":"IBM Research Report RZ"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1980.1094686"},{"key":"e_1_2_1_6_1","volume-title":"Designing deadlock-free and bounded communication protocols,\" Univ. of Texas at Austin Research report CS-81-173","author":"Gouda M.","year":"1981","unstructured":"Gouda , M. and Yu , Y. , \" Designing deadlock-free and bounded communication protocols,\" Univ. of Texas at Austin Research report CS-81-173 ( 1981 ). Gouda, M. and Yu, Y., \"Designing deadlock-free and bounded communication protocols,\" Univ. of Texas at Austin Research report CS-81-173 (1981)."},{"key":"e_1_2_1_7_1","volume-title":"of Southern California at Los Angeles Research Report","author":"Sunshine C.","year":"1981","unstructured":"Sunshine , C. , \" Formal modeling of communication protocols,\" Univ . of Southern California at Los Angeles Research Report ( 1981 ). Sunshine, C., \"Formal modeling of communication protocols,\" Univ. of Southern California at Los Angeles Research Report (1981)."}],"container-title":["ACM SIGACT News"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1008939.1008947","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1008939.1008947","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T21:41:08Z","timestamp":1750282868000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1008939.1008947"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984,1]]},"references-count":6,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1984,1]]}},"alternative-id":["10.1145\/1008939.1008947"],"URL":"https:\/\/doi.org\/10.1145\/1008939.1008947","relation":{},"ISSN":["0163-5700"],"issn-type":[{"type":"print","value":"0163-5700"}],"subject":[],"published":{"date-parts":[[1984,1]]},"assertion":[{"value":"1984-01-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}