{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,6]],"date-time":"2022-04-06T01:25:21Z","timestamp":1649208321923},"reference-count":30,"publisher":"Elsevier BV","issue":"12","license":[{"start":{"date-parts":[[1996,10,1]],"date-time":"1996-10-01T00:00:00Z","timestamp":844128000000},"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 Communications"],"published-print":{"date-parts":[[1996,10]]},"DOI":"10.1016\/s0140-3664(96)01140-1","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T02:56:11Z","timestamp":1027652171000},"page":"990-1000","source":"Crossref","is-referenced-by-count":0,"title":["The ISO virtual terminal protocol: a semi-automatic implementation"],"prefix":"10.1016","volume":"19","author":[{"given":"R.","family":"Lai","sequence":"first","affiliation":[]},{"given":"M.C.","family":"Wong","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0140-3664(96)01140-1_BIB1","first-page":"127","article-title":"Automated implementation from formal specification, Protocol Specification, Testing and Verification, IV","author":"Aggarwal","year":"1985"},{"issue":"3","key":"10.1016\/S0140-3664(96)01140-1_BIB2","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1109\/32.4650","article-title":"Automated protocol implementation with RTAG","volume":"14","author":"Anderson","year":"1988","journal-title":"IEEE Trans. Software Eng."},{"issue":"8","key":"10.1016\/S0140-3664(96)01140-1_BIB3","doi-asserted-by":"crossref","first-page":"827","DOI":"10.1109\/TSE.1986.6312985","article-title":"Mechanical verification and automatic implementation of communication protocols","volume":"12","author":"Blumer","year":"1986","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0140-3664(96)01140-1_BIB4","first-page":"137","article-title":"Use of formal specifications for protocol design, implementation and testing, Protocol Specification, Testing and Verification, IV","author":"Bochmann","year":"1985"},{"issue":"3","key":"10.1016\/S0140-3664(96)01140-1_BIB5","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1002\/spe.4380180306","article-title":"A practical study of Semi-automatic OSI protocol implementation","volume":"18","author":"Ciminiera","year":"1988","journal-title":"Software, Practice and Experience"},{"key":"10.1016\/S0140-3664(96)01140-1_BIB6","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":"1989","journal-title":"Computer Networks & ISDN Systems"},{"key":"10.1016\/S0140-3664(96)01140-1_BIB7","series-title":"Automatic implementation of TP4\/IP with an Estelle workstation: Development methodology and performance evaluation, Protocol Specification, Testing, and Verification, XI","author":"Vazquez","year":"1991"},{"key":"10.1016\/S0140-3664(96)01140-1_BIB8","article-title":"Information Processing Systems \u2014 Open Systems Inter-connection \u2014 Estelle: A Formal Description Technique based on Extended State Transition Model","author":"ISO","year":"1989","journal-title":"International Organization for Standardization IS 9074"},{"issue":"9","key":"10.1016\/S0140-3664(96)01140-1_BIB9","doi-asserted-by":"crossref","first-page":"989","DOI":"10.1109\/TSE.1987.233521","article-title":"Semiautomatic implementation of communication protocols","volume":"13","author":"Bochmann","year":"1987","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0140-3664(96)01140-1_BIB10","article-title":"User Guide for the Bull Estelle-to-C Compiler","author":"Claes","year":"1988","journal-title":"Technical Report"},{"key":"10.1016\/S0140-3664(96)01140-1_BIB11","article-title":"Design, implementation and validation of a Multi-Peer Protocol using Estelle","volume":"III","author":"Guilmet","year":"1991"},{"key":"10.1016\/S0140-3664(96)01140-1_BIB12","first-page":"447","article-title":"Formal specification and automated implementation of communication protocols based on ISO's FDT","author":"Wen","year":"1987","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0140-3664(96)01140-1_BIB13","article-title":"The Estelle-to-ML Generator Reference Document","author":"Lenotre","year":"1987","journal-title":"Technical Report, SEDOS 116"},{"key":"10.1016\/S0140-3664(96)01140-1_BIB14","author":"NBS","year":"1987","journal-title":"NBS Report No. ICST\/SNA-87\/3"},{"key":"10.1016\/S0140-3664(96)01140-1_BIB15","article-title":"Use of ESTELLE, LOTOS and ASN.1 in one project","volume":"III","author":"Saras","year":"1991"},{"key":"10.1016\/S0140-3664(96)01140-1_BIB16","series-title":"INFOCOM'87","article-title":"A semi-automatic approach to protocol implementation \u2014 The ISO Class 2 transport protocol as an example","author":"Vuong","year":"1987"},{"issue":"3","key":"10.1016\/S0140-3664(96)01140-1_BIB17","doi-asserted-by":"crossref","first-page":"384","DOI":"10.1109\/32.4658","article-title":"Semiautomatic implementation of protocols using an Estelle-C compiler","volume":"14","author":"Vuong","year":"1988","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/S0140-3664(96)01140-1_BIB18","article-title":"Information Processing Systems \u2014 Open Systems Interconnection \u2014 Specification of Abstract Syntax Notation one (ASN.1)","author":"ISO","year":"1987","journal-title":"International Standard No. 8824"},{"key":"10.1016\/S0140-3664(96)01140-1_BIB19","article-title":"Information Processing Systems \u2014 Open Systems Interconnection \u2014 Basic Reference Model","author":"ISO","year":"1984","journal-title":"International Standard No. 7498"},{"key":"10.1016\/S0140-3664(96)01140-1_BIB20","year":"1990","journal-title":"ISO IS 9040"},{"key":"10.1016\/S0140-3664(96)01140-1_BIB21","year":"1990","journal-title":"ISO IS 9041"},{"key":"10.1016\/S0140-3664(96)01140-1_BIB22","year":"1990"},{"key":"10.1016\/S0140-3664(96)01140-1_BIB23","article-title":"The Distributed Implementation Generator: an overview and user guide","author":"Sijelmassi","year":"1991","journal-title":"Technical Report NCSL\/SNA \u2014 91\/3"},{"key":"10.1016\/S0140-3664(96)01140-1_BIB24","series-title":"Proc. Third International Conference on Formal Description Techniques, FORTE'90","article-title":"NIST integrated tool set for Estelle","author":"Sijelmassi","year":"1990"},{"key":"10.1016\/S0140-3664(96)01140-1_BIB25","article-title":"The Portable Estelle Translator: an overview and user guide","author":"Sijelmassi","year":"1991","journal-title":"Technical Report NCSL\/SNA \u2014 91\/2"},{"key":"10.1016\/S0140-3664(96)01140-1_BIB26","volume":"volume 1, 2, 3 and 4","author":"Rose","year":"1989","journal-title":"The ISODE user's manual"},{"key":"10.1016\/S0140-3664(96)01140-1_BIB27","article-title":"An Object-Oriented Model for Estelle","author":"Sijelmassi","year":"1988","journal-title":"Technical Report ICST\/SNA \u2014 88\/2"},{"key":"10.1016\/S0140-3664(96)01140-1_BIB28","series-title":"UNIX Network Programming","author":"Stevens","year":"1990"},{"key":"10.1016\/S0140-3664(96)01140-1_BIB29","series-title":"IEEE INFOCOM '91","article-title":"Modularity versus efficiency in OSI system implementations","author":"Poo","year":"1991"},{"key":"10.1016\/S0140-3664(96)01140-1_BIB30","article-title":"Linking specifications with implementations","volume":"IV","author":"Kooij","year":"1992"}],"container-title":["Computer Communications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0140366496011401?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0140366496011401?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,14]],"date-time":"2019-04-14T03:23:36Z","timestamp":1555212216000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0140366496011401"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,10]]},"references-count":30,"journal-issue":{"issue":"12","published-print":{"date-parts":[[1996,10]]}},"alternative-id":["S0140366496011401"],"URL":"https:\/\/doi.org\/10.1016\/s0140-3664(96)01140-1","relation":{},"ISSN":["0140-3664"],"issn-type":[{"value":"0140-3664","type":"print"}],"subject":[],"published":{"date-parts":[[1996,10]]}}}