{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:09:08Z","timestamp":1775052548915,"version":"3.50.1"},"reference-count":34,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1987,1,1]],"date-time":"1987-01-01T00:00:00Z","timestamp":536457600000},"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":[[1987,1]]},"DOI":"10.1016\/0169-7552(87)90084-5","type":"journal-article","created":{"date-parts":[[2003,8,7]],"date-time":"2003-08-07T23:49:30Z","timestamp":1060300170000},"page":"3-23","source":"Crossref","is-referenced-by-count":210,"title":["An introduction to Estelle: A specification language for distributed systems"],"prefix":"10.1016","volume":"14","author":[{"given":"S.","family":"Budkowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Dembinski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0169-7552(87)90084-5_BIB1","series-title":"Proceedings IFIP 2nd International Workshop on Protocol Specification, Verification and Testing","article-title":"Protocol Description and Implementation Language (PDIL)","author":"Ansart","year":"1982"},{"key":"10.1016\/0169-7552(87)90084-5_BIB2","series-title":"Proc IFIP 3rd International Workshop on Protocol Specification, Verification and Testing","article-title":"LC\/1A Specification and Implementation Language for Protocols","author":"Ayache","year":"1983"},{"key":"10.1016\/0169-7552(87)90084-5_BIB3","first-page":"361","article-title":"Finite State Description of Communication of Protocols","volume":"Vol. 2","author":"Bochman","year":"1978","journal-title":"Computer Networks"},{"key":"10.1016\/0169-7552(87)90084-5_BIB4","article-title":"A Formal Specification Technique and Implementation Method for Protocols","volume":"vol. 6","author":"Tenney","year":"1982","journal-title":"Computer Networks"},{"key":"10.1016\/0169-7552(87)90084-5_BIB5","year":"1985","journal-title":"Functional Specification and Description Language"},{"key":"10.1016\/0169-7552(87)90084-5_BIB6","series-title":"Proc. 3\u00e8me Congr\u00e8s \u201cDe nouvelles architectures pour les communications\u201d","article-title":"SEDOS: Un environment logiciel pour la conception des syst\u00e8mes distribu\u00e9s","author":"Diaz","year":"1986"},{"issue":"No. 2","key":"10.1016\/0169-7552(87)90084-5_BIB7","article-title":"ESTELLE: un language pour les algorithmes distribu\u00e9s et les protocoles","volume":"vol. 6","author":"Courtiat","year":"1987","journal-title":"Technique et Science Informatiques"},{"key":"10.1016\/0169-7552(87)90084-5_BIB8","article-title":"Estelle Semantics","author":"Dembinski","year":"1986","journal-title":"SEDOS Rep. SEDOS\/054"},{"key":"10.1016\/0169-7552(87)90084-5_BIB9","series-title":"Proc. IFIP WG 6.1 Seventh International Conference on Protocol Specification, Testing, and Verification","article-title":"Simulation Estelle Specifications with Time Parameters","author":"Dembinski","year":"1987"},{"key":"10.1016\/0169-7552(87)90084-5_BIB10","article-title":"Petri Nets Based Semantics for Estelle","author":"Courtiat","year":"1987","journal-title":"SEDOS Rep. SEDOS\/109"},{"key":"10.1016\/0169-7552(87)90084-5_BIB11","series-title":"Proc. IFIP 6th International Workshop on Protocol Specification, Testing and Verification","article-title":"Software tools for Estelle","author":"Ansart","year":"1986"},{"key":"10.1016\/0169-7552(87)90084-5_BIB12","series-title":"9\u00e9me Journ\u00e9e Francophone sur l'Informatique","article-title":"De la Sp\u00e9cification \u00e0 l'Implementation en Estelle","author":"Ansart","year":"1987"},{"key":"10.1016\/0169-7552(87)90084-5_BIB13","series-title":"User Guide for the NBS Prototype Compiler for Estelle","year":"1986"},{"key":"10.1016\/0169-7552(87)90084-5_BIB14","year":"1986"},{"key":"10.1016\/0169-7552(87)90084-5_BIB15","series-title":"Proc. IFIP WG 6.1 Seventh International Conference on Protocol Specification, Testing, and Verification","article-title":"Usage of Protocol Development Tools: the results of a survey","author":"Bochman","year":"1987"},{"key":"10.1016\/0169-7552(87)90084-5_BIB16","series-title":"Proc. IEEE INFOCOM 87","article-title":"Semi-automatic Implementation of Protocols","author":"Vuong","year":"1987"},{"key":"10.1016\/0169-7552(87)90084-5_BIB17","series-title":"Design of Translator from Estelle with ANS.1 to ADA; KDD","author":"Kato","year":"1987"},{"key":"10.1016\/0169-7552(87)90084-5_BIB18","series-title":"ISO\/TC97\/SC21\/WG1\/DIS9074 Estelle \u2014 A formal Description Technique Based on an Extended State Transition Model","year":"1987"},{"key":"10.1016\/0169-7552(87)90084-5_BIB19","series-title":"ICST report","article-title":"Tutorial on the Features and Facilities of Estelle","author":"Linn","year":"1987"},{"key":"10.1016\/0169-7552(87)90084-5_BIB20","series-title":"Proc. 3\u00e8me Congr\u00e8s \u201cDe nouvelles architectures pour les communications\u201d","article-title":"Estelle, un language de specification des syst\u00e8mes distribu\u00e9s","author":"Budkowski","year":"1986"},{"key":"10.1016\/0169-7552(87)90084-5_BIB21","series-title":"Proc. IFIP WG 6.1 Seventh International Conference on Protocol Specification, Testing, and Verification","article-title":"Verification in XESAR of the Sliding Window Protocol","author":"Richier","year":"1987"},{"key":"10.1016\/0169-7552(87)90084-5_BIB22","series-title":"Proc. COMNET'85","article-title":"VEDA: a Software Simulator for the Validation of Protocols Specifications","author":"Jard","year":"1985"},{"key":"10.1016\/0169-7552(87)90084-5_BIB23","series-title":"CIS Dept. Tech. Report 87-12","article-title":"Formal Specification of ISO Virtual Terminal in Estelle","author":"Amer","year":"1987"},{"key":"10.1016\/0169-7552(87)90084-5_BIB24","series-title":"CIS Dept. Tech. Report 87-10","article-title":"Semantic Well-Formedness of Estelle Specification Transitions","author":"Amer","year":"1987"},{"key":"10.1016\/0169-7552(87)90084-5_BIB25","year":"1986","journal-title":"Information Processing Systems, Open System Interconnection"},{"key":"10.1016\/0169-7552(87)90084-5_BIB26","year":"1986","journal-title":"Information Processing Systems, Open System Interconnection"},{"key":"10.1016\/0169-7552(87)90084-5_BIB27","year":"1987","journal-title":"Information Processing Systems, Open System Interconnection"},{"key":"10.1016\/0169-7552(87)90084-5_BIB28","series-title":"Proc. ESPRIT Conference Week","article-title":"Estelle and LOTOS Software Environments for the Design of Open Distributed Systems","author":"Diaz","year":"1987"},{"key":"10.1016\/0169-7552(87)90084-5_BIB29","article-title":"Programming Language \u2014 Pascal","author":"ISO International Standard 7185","year":"1983","journal-title":"ISO\/TC97\/SC6\/WG4"},{"key":"10.1016\/0169-7552(87)90084-5_BIB30","year":"1987"},{"key":"10.1016\/0169-7552(87)90084-5_BIB31","article-title":"Formal Description Techniques","volume":"vol. 71","author":"Vissers","year":"1983"},{"key":"10.1016\/0169-7552(87)90084-5_BIB32","author":"Mondain-Monval","year":"1987","journal-title":"Estelle Description of the ISO Session Protocol SEDOS Rep. SEDOS\/106"},{"key":"10.1016\/0169-7552(87)90084-5_BIB33","article-title":"ESTIM: An Interpreter for the Simulation of Estelle Descriptions","author":"De Saqui-Sannes","year":"1987","journal-title":"SEDOS Rep. SEDOS\/115"},{"key":"10.1016\/0169-7552(87)90084-5_BIB34","series-title":"Proc. International Conference on Distributed Computing Systems","article-title":"On a Prolog Environment for Protocol Analysis","author":"Parapanagiotikais","year":"1986"}],"container-title":["Computer Networks and ISDN Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0169755287900845?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0169755287900845?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T08:00:20Z","timestamp":1552636820000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0169755287900845"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,1]]},"references-count":34,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1987,1]]}},"alternative-id":["0169755287900845"],"URL":"https:\/\/doi.org\/10.1016\/0169-7552(87)90084-5","relation":{},"ISSN":["0169-7552"],"issn-type":[{"value":"0169-7552","type":"print"}],"subject":[],"published":{"date-parts":[[1987,1]]}}}