{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T23:24:03Z","timestamp":1649201043388},"reference-count":15,"publisher":"Elsevier BV","issue":"5-6","license":[{"start":{"date-parts":[[1984,10,1]],"date-time":"1984-10-01T00:00:00Z","timestamp":465436800000},"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 (1976)"],"published-print":{"date-parts":[[1984,10]]},"DOI":"10.1016\/0376-5075(84)90008-4","type":"journal-article","created":{"date-parts":[[2003,8,7]],"date-time":"2003-08-07T23:17:02Z","timestamp":1060298222000},"page":"463-478","source":"Crossref","is-referenced-by-count":1,"title":["Verification of a multidestination selective repeat procedure"],"prefix":"10.1016","volume":"8","author":[{"given":"K","family":"Sabnani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M","family":"Schwartz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0376-5075(84)90008-4_BIB1","series-title":"Proceedings of the Fourth Data Communications Symposium","first-page":"8.20","article-title":"Logical Verification and Implementation of Protocols","author":"Bochmann","year":"1975"},{"key":"10.1016\/0376-5075(84)90008-4_BIB2","first-page":"209","article-title":"Computer Networks and Their Protocols","author":"Davies","year":"1979"},{"key":"10.1016\/0376-5075(84)90008-4_BIB3","series-title":"Proceedings Trends and Applications","article-title":"Verifying Network Protocols Using Temporal Logic","author":"Hailpern","year":"1980"},{"issue":"No. 1","key":"10.1016\/0376-5075(84)90008-4_BIB4","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1109\/TCOM.1983.1095720","article-title":"Modular Verification of Computer Communication Protocols","volume":"Vol. COM-31","author":"Hailpern","year":"1983","journal-title":"IEEE Trans. on Comm."},{"issue":"No. 11","key":"10.1016\/0376-5075(84)90008-4_BIB5","doi-asserted-by":"crossref","DOI":"10.1109\/PROC.1978.11150","article-title":"General Purpose Satellite Networks","volume":"Vol. 66","author":"Jacobs","year":"1978","journal-title":"Proceedings of the IEEE"},{"key":"10.1016\/0376-5075(84)90008-4_BIB6","doi-asserted-by":"crossref","first-page":"436","DOI":"10.1007\/BF01932022","article-title":"Verification of a Class of Link-Level Protocols","volume":"Vol. 18","author":"Krogdahl","year":"1978","journal-title":"BIT"},{"key":"10.1016\/0376-5075(84)90008-4_BIB7","series-title":"Notes on a Service Specification for the Alternating Bit Protocol","author":"Lamport","year":"1980"},{"issue":"No. 2","key":"10.1016\/0376-5075(84)90008-4_BIB8","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1145\/69624.357207","article-title":"Specifying Concurrent Program Modules","volume":"Vol. 5","author":"Lamport","year":"1983","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"10.1016\/0376-5075(84)90008-4_BIB9","article-title":"Multidestination Protocols for Satellite Broadcast Channels","author":"Sabnani","year":"1981"},{"key":"10.1016\/0376-5075(84)90008-4_BIB10","series-title":"Protocol Specification, Testing, and Verification","first-page":"21","article-title":"Verification of a Multidestination Protocol Using Temporal Logic","author":"Sabnani","year":"1982"},{"key":"10.1016\/0376-5075(84)90008-4_BIB11","series-title":"Temporal Logic Specification of Distributed Systems","author":"Schwartz","year":"1981"},{"issue":"No. 12","key":"10.1016\/0376-5075(84)90008-4_BIB12","doi-asserted-by":"crossref","first-page":"2486","DOI":"10.1109\/TCOM.1982.1095451","article-title":"From State Machines to Temporal Logic: Specification Methods for Protocol Standards","volume":"Vol. COM-30","author":"Schwartz","year":"1982","journal-title":"IEEE Trans. on Comm."},{"key":"10.1016\/0376-5075(84)90008-4_BIB13","first-page":"173","article-title":"An Interval Logic for Higher Level Reasoning","volume":"8\/23","author":"Schwartz","year":"1982","journal-title":"The Second ACM Principles of Distributed Computing"},{"key":"10.1016\/0376-5075(84)90008-4_BIB14","series-title":"Formal Modeling of Communication Protocols","author":"Sunshine","year":"1981"},{"key":"10.1016\/0376-5075(84)90008-4_BIB15","first-page":"99","article-title":"A Data Transfer Protocol","volume":"Vol. 1","author":"Stenning","year":"1976","journal-title":"Computer Networks"}],"container-title":["Computer Networks (1976)"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0376507584900084?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0376507584900084?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:58:40Z","timestamp":1552636720000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0376507584900084"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984,10]]},"references-count":15,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[1984,10]]}},"alternative-id":["0376507584900084"],"URL":"https:\/\/doi.org\/10.1016\/0376-5075(84)90008-4","relation":{},"ISSN":["0376-5075"],"issn-type":[{"value":"0376-5075","type":"print"}],"subject":[],"published":{"date-parts":[[1984,10]]}}}