{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,24]],"date-time":"2023-10-24T08:26:50Z","timestamp":1698136010542},"reference-count":9,"publisher":"Elsevier BV","issue":"5","license":[{"start":{"date-parts":[[1985,5,1]],"date-time":"1985-05-01T00:00:00Z","timestamp":483753600000},"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":["Computer Networks and ISDN Systems"],"published-print":{"date-parts":[[1985,5]]},"DOI":"10.1016\/0169-7552(85)90086-8","type":"journal-article","created":{"date-parts":[[2003,8,7]],"date-time":"2003-08-07T23:49:30Z","timestamp":1060300170000},"page":"353-361","source":"Crossref","is-referenced-by-count":40,"title":["Protocol validation by fair progress state exploration"],"prefix":"10.1016","volume":"9","author":[{"given":"M.G.","family":"Gouda","sequence":"first","affiliation":[]},{"given":"Ji-Yun","family":"Han","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0169-7552(85)90086-8_BIB1","first-page":"361","article-title":"Finite state description of communication protocols","volume":"Vol. 2","author":"Bochmann","year":"1978","journal-title":"Computer Networks"},{"key":"10.1016\/0169-7552(85)90086-8_BIB2","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1145\/322374.322380","article-title":"On communicating finite-state machines","volume":"Vol. 30","author":"Brand","year":"1983","journal-title":"JACM"},{"key":"10.1016\/0169-7552(85)90086-8_BIB3","series-title":"Technical Report, TR-84-10","article-title":"Livelock detection in networks of communicating finite state machines","author":"Gouda","year":"1984"},{"key":"10.1016\/0169-7552(85)90086-8_BIB4","series-title":"Technical Report, TR-84-11","article-title":"Deadlock detecton in systems of communicating finite state machines","author":"Gouda","year":"1984"},{"key":"10.1016\/0169-7552(85)90086-8_BIB5","first-page":"65","article-title":"An improved protocol validation technique","volume":"Vol. 6","author":"Rubin","year":"1982","journal-title":"Computer Networks"},{"issue":"No. 9","key":"10.1016\/0169-7552(85)90086-8_BIB6","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1109\/MC.1979.1658889","article-title":"Formal techniques for protocol specification and verification","volume":"Vol. 12","author":"Sunshine","year":"1979","journal-title":"Computer"},{"key":"10.1016\/0169-7552(85)90086-8_BIB7","first-page":"2514","article-title":"Deadlock detection for a class of communicating finite state machines","volume":"Vol. COM-30","author":"Yu","year":"1982","journal-title":"IEEE Trans. on Comm."},{"key":"10.1016\/0169-7552(85)90086-8_BIB8","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/0020-0190(83)90105-9","article-title":"Unbounded detection for class of communicating finite state machines","volume":"Vol. 17","author":"Yu","year":"1983","journal-title":"Information Processing Letters"},{"key":"10.1016\/0169-7552(85)90086-8_BIB9","doi-asserted-by":"crossref","first-page":"651","DOI":"10.1109\/TCOM.1980.1094687","article-title":"Towards analyzing and synthesizing protocols","volume":"Vol. COM-28","author":"Zafiropulo","year":"1980","journal-title":"IEEE Trans. on Comm."}],"container-title":["Computer Networks and ISDN Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0169755285900868?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0169755285900868?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T07:57:14Z","timestamp":1552636634000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0169755285900868"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985,5]]},"references-count":9,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1985,5]]}},"alternative-id":["0169755285900868"],"URL":"https:\/\/doi.org\/10.1016\/0169-7552(85)90086-8","relation":{},"ISSN":["0169-7552"],"issn-type":[{"value":"0169-7552","type":"print"}],"subject":[],"published":{"date-parts":[[1985,5]]}}}