{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,26]],"date-time":"2023-10-26T23:29:02Z","timestamp":1698362942140},"reference-count":19,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1986,3,1]],"date-time":"1986-03-01T00:00:00Z","timestamp":510019200000},"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":[[1986,3]]},"DOI":"10.1016\/0169-7552(86)90033-4","type":"journal-article","created":{"date-parts":[[2003,8,7]],"date-time":"2003-08-07T23:49:30Z","timestamp":1060300170000},"page":"173-182","source":"Crossref","is-referenced-by-count":10,"title":["A validation of the OSI session layer protocol"],"prefix":"10.1016","volume":"11","author":[{"given":"Colin H.","family":"West","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0169-7552(86)90033-4_BIB1","doi-asserted-by":"crossref","first-page":"1334","DOI":"10.1109\/PROC.1983.12775","article-title":"The OSI Reference Model","volume":"Vol. 71","author":"Day","year":"1983","journal-title":"Proc. IEEE"},{"key":"10.1016\/0169-7552(86)90033-4_BIB2","article-title":"LOTOS-A Formal Description Technique Based on the Temporal Ordering of Observed Behaviour","author":"ISO Open Systems Interconnection","year":"1985","journal-title":"Draft Proposed Standard 8807"},{"key":"10.1016\/0169-7552(86)90033-4_BIB3","article-title":"Estelle-A Formal Description Technique Based on an Extended State Transition Model","author":"ISO Open Systems Interconnection","year":"1985","journal-title":"Draft Proposed Standard 9074"},{"key":"10.1016\/0169-7552(86)90033-4_BIB4","article-title":"A First Draft of a Session Formal Description in Estelle","year":"1985","journal-title":"ISO TC 97\/SC 21 N319"},{"key":"10.1016\/0169-7552(86)90033-4_BIB5","article-title":"Information Processing Systems \u2014 Open Services Interconnection \u2014 Basic Connection Oriented Session Service Definition","year":"1984","journal-title":"ISO\/TC97\/SC21 N266 (ISO IS 8326)"},{"key":"10.1016\/0169-7552(86)90033-4_BIB6","article-title":"Information Processing Systems \u2014 Open Services Interconnection \u2014 Basic Connection Oriented Session Protocol Specification","year":"1984","journal-title":"ISO\/TC97\/SC21 N268 (ISO IS 8326)"},{"key":"10.1016\/0169-7552(86)90033-4_BIB7","first-page":"1397","article-title":"OSI Session Layer: Services and Protocols","volume":"Vol. 71","author":"Emmons","year":"1983"},{"key":"10.1016\/0169-7552(86)90033-4_BIB8","article-title":"Information Processing Systems \u2014 Open Services Interconnection \u2014 Transport Protocol Definition","year":"1984","journal-title":"ISO\/TC97\/SC6 N3240 (ISO IS 8072)"},{"issue":"No. 3","key":"10.1016\/0169-7552(86)90033-4_BIB9","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1147\/rd.224.0393","article-title":"General technique for communications protocol validation","volume":"Vol. 22","author":"West","year":"1978","journal-title":"IBM J. Res. Develop."},{"key":"10.1016\/0169-7552(86)90033-4_BIB10","series-title":"Computer Network Architectures and Protocols","first-page":"645","article-title":"Protocol Analysis and Synthesis using a State Transition Model","author":"Zafiropoulo","year":"1982"},{"key":"10.1016\/0169-7552(86)90033-4_BIB11","series-title":"Protocol Specification, Testing and Verification III","first-page":"189","article-title":"VALIDOC, a protocol validator and its applications","author":"Rafiq","year":"1983"},{"key":"10.1016\/0169-7552(86)90033-4_BIB12","series-title":"Proceedings of ACM SIGCOMM '84, Communications Architectures and Protocols","first-page":"83","article-title":"Automated Verification of Connection Management of NBS Class 4 Transport Protocol","author":"Sidhu","year":"1984"},{"issue":"No. 7","key":"10.1016\/0169-7552(86)90033-4_BIB13","doi-asserted-by":"crossref","first-page":"630","DOI":"10.1109\/TC.1982.1676060","article-title":"A Validation Technique for Tightly Coupled Protocols","volume":"Vol. C-31","author":"Rudin","year":"1982","journal-title":"IEEE Trans. Computers"},{"key":"10.1016\/0169-7552(86)90033-4_BIB14","series-title":"Protocol Specification, Testing and Verification IV","first-page":"697","article-title":"Protocol Verification Techniques: Status Quo and Perspectives","author":"Sajkowski","year":"1984"},{"key":"10.1016\/0169-7552(86)90033-4_BIB15","series-title":"Computer Network Architectures and Protocols","first-page":"671","article-title":"Executable Representation and Validation of SNA","author":"Schultz","year":"1982"},{"issue":"No. 2","key":"10.1016\/0169-7552(86)90033-4_BIB16","first-page":"65","article-title":"An Improved Protocol Validation Technique","volume":"Vol. 6","author":"West","year":"1982","journal-title":"Computer Networks"},{"issue":"No. 1","key":"10.1016\/0169-7552(86)90033-4_BIB17","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1147\/rd.221.0060","article-title":"Automated Validation of a Communications Protocol: the CCITT X.21 Recommendation","volume":"Vol. 22","author":"West","year":"1978","journal-title":"IBM J. Res. Develop."},{"issue":"No. 8","key":"10.1016\/0169-7552(86)90033-4_BIB18","doi-asserted-by":"crossref","first-page":"1187","DOI":"10.1109\/TCOM.1978.1094227","article-title":"Protocol Validation by Duologue Matrix Analysis","volume":"Vol. COM-26","author":"Zafiropulo","year":"1978","journal-title":"IEEE Trans. Commun."},{"issue":"No. 4","key":"10.1016\/0169-7552(86)90033-4_BIB19","doi-asserted-by":"crossref","first-page":"326","DOI":"10.1147\/sj.234.0326","article-title":"The Design of the REXX Language","volume":"Vol. 23","author":"Cowlishaw","year":"1984","journal-title":"IBM Systems Journal"}],"container-title":["Computer Networks and ISDN Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0169755286900334?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0169755286900334?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:24Z","timestamp":1552636704000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0169755286900334"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986,3]]},"references-count":19,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1986,3]]}},"alternative-id":["0169755286900334"],"URL":"https:\/\/doi.org\/10.1016\/0169-7552(86)90033-4","relation":{},"ISSN":["0169-7552"],"issn-type":[{"value":"0169-7552","type":"print"}],"subject":[],"published":{"date-parts":[[1986,3]]}}}