{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,11]],"date-time":"2023-05-11T08:26:10Z","timestamp":1683793570374},"reference-count":43,"publisher":"Elsevier BV","issue":"5","license":[{"start":{"date-parts":[[1990,6,1]],"date-time":"1990-06-01T00:00:00Z","timestamp":644198400000},"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":[[1990,6]]},"DOI":"10.1016\/0169-7552(90)90121-8","type":"journal-article","created":{"date-parts":[[2003,9,3]],"date-time":"2003-09-03T15:09:00Z","timestamp":1062601740000},"page":"335-377","source":"Crossref","is-referenced-by-count":38,"title":["Specifications of a simplified transport protocol using different formal description techniques"],"prefix":"10.1016","volume":"18","author":[{"given":"Gregor V","family":"Bochmann","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0169-7552(90)90121-8_BIB1","doi-asserted-by":"crossref","first-page":"1218","DOI":"10.1109\/TSE.1987.232877","article-title":"SPANNER: A Tool for the Specification, Analysis, and Evaluation of Protocols","volume":"13","author":"Aggarwal","year":"1987","journal-title":"IEEE Trans. Software Engrg."},{"key":"10.1016\/0169-7552(90)90121-8_BIB2","first-page":"361","article-title":"Finite State Description of Communication Protocols","volume":"2","author":"Bochmann","year":"1978","journal-title":"Comput. Networks"},{"key":"10.1016\/0169-7552(90)90121-8_BIB3_1","unstructured":"G.v. Bochmann, Examples of Transport Service Specifications, Doc. de travail #145, Dept. d'IRO, Univ. de Montreal;"},{"key":"10.1016\/0169-7552(90)90121-8_BIB3_2","series-title":"ISO and CCITT working groups on FDT","author":"Bochmann","year":"1983"},{"key":"10.1016\/0169-7552(90)90121-8_BIB4","series-title":"Proc. 7th IFIP Symposium on Protocol Specification, Testing and Verification","article-title":"Usage of Protocol Development Tools: The Results of a Survey (invited paper)","author":"Bochmann","year":"1987"},{"key":"10.1016\/0169-7552(90)90121-8_BIB5","series-title":"Comparison of SDL and Estelle in View of Finding a Usable Language Subset and Compatible Tools","author":"Bochmann","year":"1987"},{"issue":"3","key":"10.1016\/0169-7552(90)90121-8_BIB6","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0169-7552(90)90132-C","article-title":"Protocol Specification for OSI","volume":"18","author":"Bochmann","year":"1990","journal-title":"Comput. Networks ISDN Systems"},{"issue":"4","key":"10.1016\/0169-7552(90)90121-8_BIB7","doi-asserted-by":"crossref","first-page":"651","DOI":"10.1109\/TCOM.1980.1094687","article-title":"Towards Analyzing and Synthesizing Protocols","volume":"28","author":"Zafiropulo","year":"1980","journal-title":"IEEE Trans. Comm."},{"key":"10.1016\/0169-7552(90)90121-8_BIB8","series-title":"Proc. CIPS Conference","first-page":"123","article-title":"Testing of Transport Protocol Implementations","author":"Bochmann","year":"1983"},{"issue":"9","key":"10.1016\/0169-7552(90)90121-8_BIB9_1","doi-asserted-by":"crossref","first-page":"898","DOI":"10.1109\/TSE.1987.233521","article-title":"Semiautomatic Implementation of Communication Protocols","volume":"13","author":"Bochmann","year":"1987","journal-title":"IEEE Trans. Software Engrg."},{"key":"10.1016\/0169-7552(90)90121-8_BIB9_2","series-title":"Automatic Implementation and Conformance Testing of OSI Protocols","year":"1989"},{"key":"10.1016\/0169-7552(90)90121-8_BIB10","series-title":"Proc. International Symposium on Interoperable Informatics Systems (ISIIS)","first-page":"371","article-title":"Impact of Queued Interaction on Protocol Specification and Verification","author":"Bochmann","year":"1988"},{"issue":"1","key":"10.1016\/0169-7552(90)90121-8_BIB11","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","article-title":"Introduction to the ISO Specification Language Lotos","volume":"14","author":"Bolognesi","year":"1987","journal-title":"Comput. Networks ISDN Systems"},{"key":"10.1016\/0169-7552(90)90121-8_BIB12","series-title":"Proc. IFIP Workshop on Protocol Specification, Testing and Verification VI","first-page":"349","article-title":"Lotos Specifications, Their Implementations and Their Tests","author":"Brinksma","year":"1986"},{"issue":"1","key":"10.1016\/0169-7552(90)90121-8_BIB13","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0169-7552(87)90084-5","article-title":"An Introduction to Estelle: A specification Language for Distributed Systems","volume":"14","author":"Budkowski","year":"1987","journal-title":"Comput. Networks ISDN Systems"},{"key":"10.1016\/0169-7552(90)90121-8_BIB14","article-title":"The Specification of Process Synchronization by Path Expressions","volume":"16","author":"Campbell","year":"1974"},{"key":"10.1016\/0169-7552(90)90121-8_BIB15","year":"1987","journal-title":"CCITT SG XI, Recommendation Z.100"},{"key":"10.1016\/0169-7552(90)90121-8_BIB16","series-title":"Proc. IFIP Symposium on Protocol Specification, Testing and Verification","article-title":"Estelle\u2217: A Powerful Dialect of Estelle for OSI Protocol Description","author":"Courtiat","year":"1988"},{"key":"10.1016\/0169-7552(90)90121-8_BIB17","series-title":"Proc. IFIP Symposium on Protocol Specification, Testing and Verification","article-title":"Architecture and Specification Style in Formal Descriptions of Distributed Systems","author":"Vissers","year":"1988"},{"key":"10.1016\/0169-7552(90)90121-8_BIB18","series-title":"Research into Networks and Distributed Applications","first-page":"859","article-title":"A Framework for the Taxonomy of Synthesis and Analysis Activities in Distributed System Design","author":"Dubois","year":"1988"},{"key":"10.1016\/0169-7552(90)90121-8_BIB19","series-title":"Fundamentals of Algebraic Specifications 1","author":"Ehrig","year":"1985"},{"issue":"7","key":"10.1016\/0169-7552(90)90121-8_BIB20","doi-asserted-by":"crossref","first-page":"779","DOI":"10.1109\/TCOM.1984.1096134","article-title":"Synthesis of Communicating Finite State Machines with Guaranteed Progress","volume":"32","author":"Gouda","year":"1984","journal-title":"IEEE Trans. Comm."},{"issue":"6","key":"10.1016\/0169-7552(90)90121-8_BIB21","doi-asserted-by":"crossref","first-page":"396","DOI":"10.1145\/359605.359618","article-title":"Abstract Data Types and the Development of Data Structures","volume":"20","author":"Guttag","year":"1977","journal-title":"Comm. ACM"},{"key":"10.1016\/0169-7552(90)90121-8_BIB22","year":"1983","journal-title":"ISO TC97\/SC16 N1347"},{"key":"10.1016\/0169-7552(90)90121-8_BIB23","year":"1986","journal-title":"ISO 97\/21 N1540"},{"key":"10.1016\/0169-7552(90)90121-8_BIB24","year":"1986","journal-title":"ISO TC97\/SC6 N 3576"},{"key":"10.1016\/0169-7552(90)90121-8_BIB25","year":"1986","journal-title":"ISO TC97\/SC6 N\u2026"},{"key":"10.1016\/0169-7552(90)90121-8_BIB26","year":"1987","journal-title":"ISO DIS9074"},{"key":"10.1016\/0169-7552(90)90121-8_BIB27","year":"1987","journal-title":"ISO DIS8807"},{"key":"10.1016\/0169-7552(90)90121-8_BIB28","year":"1987","journal-title":"ISO TC97\/SC6\/WG4N ad hoc group on Formal Description of Transport in Lotos"},{"key":"10.1016\/0169-7552(90)90121-8_BIB29","unstructured":"ISO TC97\/SC6, IS 8073, OSI \u2014 connection Oriented Transport Protocol Specification."},{"key":"10.1016\/0169-7552(90)90121-8_BIB30","series-title":"Protocol Specification, Testing and Verification V","article-title":"Experience in Implementing Estelle-X.250 in VEDA","author":"Jard","year":"1985"},{"key":"10.1016\/0169-7552(90)90121-8_BIB31","series-title":"Proc. IFIP Symposium on Protocol Specification, Testing and Verification","article-title":"Implementing Process Algebra Specifications by State Machines","author":"Karjoth","year":"1988"},{"key":"10.1016\/0169-7552(90)90121-8_BIB32","article-title":"A Calculus of Communicating Systems","volume":"92","author":"Milner","year":"1980"},{"key":"10.1016\/0169-7552(90)90121-8_BIB33","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/BF00264365","article-title":"Extensional Equivalences for Transition Systems","volume":"24","author":"De Nicola","year":"1987","journal-title":"Acta Inform."},{"key":"10.1016\/0169-7552(90)90121-8_BIB34","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0169-7552(87)90087-0","article-title":"OSI Conformance Testing","volume":"14","author":"Rayner","year":"1987","journal-title":"Comput. Networks ISDN Systems"},{"key":"10.1016\/0169-7552(90)90121-8_BIB35","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0169-7552(89)90078-0","article-title":"The CCITT-Specification and Description Language SDL","volume":"16","author":"Belina","year":"1989","journal-title":"Comput. Networks ISDN Systems"},{"key":"10.1016\/0169-7552(90)90121-8_BIB36","doi-asserted-by":"crossref","first-page":"518","DOI":"10.1109\/TSE.1987.233197","article-title":"A Test Design Methodology for Protocol Testing","author":"Sarikaya","year":"1987","journal-title":"IEEE Trans. Software Engrg."},{"key":"10.1016\/0169-7552(90)90121-8_BIB37","series-title":"Proc. IFIP Symposium on Protocol Specification, Testing and Verification","article-title":"On the Architectural Design of the Formal Specification of the Session Standards in LOTOS","author":"Scollo","year":"1986"},{"issue":"3","key":"10.1016\/0169-7552(90)90121-8_BIB38","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/0169-7552(90)90135-F","article-title":"Semi-automatic Implementation of OSI Protocols","volume":"18","author":"Sidhu","year":"1990","journal-title":"Comput. Networks ISDN Systems"},{"key":"10.1016\/0169-7552(90)90121-8_BIB39","series-title":"Special Issue on Open Systems Interworking","year":"1983"},{"key":"10.1016\/0169-7552(90)90121-8_BIB40","series-title":"Computer Network Usage","article-title":"Comparison of Two Specification Languages","author":"Steinacker","year":"1985"},{"key":"10.1016\/0169-7552(90)90121-8_BIB41","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0169-7552(87)90092-4","article-title":"Evaluation and Integration of Specification Languages","volume":"13","author":"The SPECS Consortium","year":"1987","journal-title":"Comput. Networks ISDN Systems"}],"container-title":["Computer Networks and ISDN Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0169755290901218?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0169755290901218?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T12:54:12Z","timestamp":1551099252000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0169755290901218"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,6]]},"references-count":43,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1990,6]]}},"alternative-id":["0169755290901218"],"URL":"https:\/\/doi.org\/10.1016\/0169-7552(90)90121-8","relation":{},"ISSN":["0169-7552"],"issn-type":[{"value":"0169-7552","type":"print"}],"subject":[],"published":{"date-parts":[[1990,6]]}}}