{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T09:29:45Z","timestamp":1747906185962},"reference-count":9,"publisher":"Elsevier BV","issue":"5","license":[{"start":{"date-parts":[[1983,12,1]],"date-time":"1983-12-01T00:00:00Z","timestamp":439084800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information Processing Letters"],"published-print":{"date-parts":[[1983,12]]},"DOI":"10.1016\/0020-0190(83)90105-9","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T04:11:21Z","timestamp":1027656681000},"page":"235-240","source":"Crossref","is-referenced-by-count":19,"title":["Unboundedness detection for a class of communicating finite-state machines"],"prefix":"10.1016","volume":"17","author":[{"given":"Yao-Tin","family":"Yu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed G.","family":"Gouda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0020-0190(83)90105-9_BIB1","first-page":"361","article-title":"Finite state description of communication protocols","volume":"2","author":"Bochmann","year":"1978","journal-title":"Computer Networks"},{"key":"10.1016\/0020-0190(83)90105-9_BIB2","article-title":"On communicating finite-state machines","author":"Brand","year":"1981","journal-title":"IBM Res. Rept. RZ 1053 (#37725)"},{"key":"10.1016\/0020-0190(83)90105-9_BIB3","first-page":"433","article-title":"A synchronization calculus for message-oriented programming","author":"Cunha","year":"1981","journal-title":"Proc. 2nd Internat. Conf. on Distributed Computing Systems"},{"key":"10.1016\/0020-0190(83)90105-9_BIB4","series-title":"Tech. Rept. 199","article-title":"Systems of communicating machines that are bounded and deadlock-free","author":"Gouda","year":"1982"},{"key":"10.1016\/0020-0190(83)90105-9_BIB5","article-title":"Protocol validation by maximal progress state exploration","author":"Gouda","year":"1983","journal-title":"IEEE Trans. Comm."},{"key":"10.1016\/0020-0190(83)90105-9_BIB6","first-page":"65","article-title":"An improved protocol validation technique","volume":"6","author":"Rubin","year":"1982","journal-title":"Computer Networks"},{"key":"10.1016\/0020-0190(83)90105-9_BIB7","series-title":"Res. Rept. 81\u201389","article-title":"Formal modeling of communication protocols","author":"Sunshine","year":"1981"},{"issue":"12","key":"10.1016\/0020-0190(83)90105-9_BIB8","first-page":"2514","article-title":"Deadlock detection for a class of communicating finite state machines","volume":"COM-30","author":"Yu","year":"1982","journal-title":"IEEE Trans. Comm."},{"key":"10.1016\/0020-0190(83)90105-9_BIB9","series-title":"Ph.D. Thesis","article-title":"Communicating finite state machines: Analysis and synthesis of communication protocols","author":"Yu","year":"1983"}],"container-title":["Information Processing Letters"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0020019083901059?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0020019083901059?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,12]],"date-time":"2019-04-12T16:57:10Z","timestamp":1555088230000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0020019083901059"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983,12]]},"references-count":9,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1983,12]]}},"alternative-id":["0020019083901059"],"URL":"https:\/\/doi.org\/10.1016\/0020-0190(83)90105-9","relation":{},"ISSN":["0020-0190"],"issn-type":[{"value":"0020-0190","type":"print"}],"subject":[],"published":{"date-parts":[[1983,12]]}}}