{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T19:55:26Z","timestamp":1648929326182},"reference-count":19,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1994,11,1]],"date-time":"1994-11-01T00:00:00Z","timestamp":783648000000},"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":["Journal of Systems and Software"],"published-print":{"date-parts":[[1994,11]]},"DOI":"10.1016\/0164-1212(94)90025-6","type":"journal-article","created":{"date-parts":[[2003,8,8]],"date-time":"2003-08-08T04:31:55Z","timestamp":1060317115000},"page":"119-128","source":"Crossref","is-referenced-by-count":8,"title":["On reusing ATNet modules in protocol specification"],"prefix":"10.1016","volume":"27","author":[{"given":"Mohamed","family":"Bettaz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mourad","family":"Maouche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Moussa","family":"Soualmi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Madani","family":"Boukebeche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0164-1212(94)90025-6_BIB1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1007\/3-540-50580-6_22","article-title":"OBJSA nets: A class of high-level nets having objects as domains","author":"Battiston","year":"1988"},{"key":"10.1016\/0164-1212(94)90025-6_BIB2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1007\/3-540-54496-8_2","article-title":"An association of algebraic terms nets and abstract data types for specifying real communication protocols","author":"Bettaz","year":"1991"},{"key":"10.1016\/0164-1212(94)90025-6_BIB3","series-title":"Unified Computation Laboratory","first-page":"293","article-title":"Algebraic term nets: A formalism for specifying communication software in the OSI framework","author":"Bettaz","year":"1992"},{"key":"10.1016\/0164-1212(94)90025-6_BIB4","series-title":"Lecture Notes in Computer Science","first-page":"164","article-title":"How to specify non determinism and true concurrency with algebraic terms nets","author":"Bettaz","year":"1992"},{"key":"10.1016\/0164-1212(94)90025-6_BIB5","series-title":"9th-WADT-4th Compass Workshop, Caldes de Malauella","article-title":"A SMoLCS based kit for defining the semantics of algebraic high-level nets","author":"Bettaz","year":"1992"},{"key":"10.1016\/0164-1212(94)90025-6_BIB6","series-title":"Proceedings of the Euromicro Workshop on Parallel and Distributed Processing, IEEE","first-page":"265","article-title":"Modelling and proving of truly concurrent systems with CATNets","author":"Bettaz","year":"1993"},{"key":"10.1016\/0164-1212(94)90025-6_BIB7","series-title":"ICCI'92","first-page":"410","article-title":"Using ECATNets for specifying communication software in the OSI framework","author":"Bettaz","year":"1992"},{"key":"10.1016\/0164-1212(94)90025-6_BIB8","first-page":"149","article-title":"Compact modelling and rapid prototyping of communication software with ECATNets: A case study","volume":"vol. 25","author":"Bettaz","year":"1993"},{"issue":"1","key":"10.1016\/0164-1212(94)90025-6_BIB9","first-page":"7","article-title":"Protocol Specification Using ECATNets","volume":"3","author":"Bettaz","year":"1993","journal-title":"Netw. Dist. Comp."},{"key":"10.1016\/0164-1212(94)90025-6_BIB10","series-title":"Proceedings of the Third International Workshop on Petri Nets and Performance Models","first-page":"166","article-title":"Many-sorted high-level nets","author":"Billington","year":"1989"},{"key":"10.1016\/0164-1212(94)90025-6_BIB11","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1109\/32.4651","article-title":"PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols","volume":"14","author":"Billington","year":"1988","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0164-1212(94)90025-6_BIB12","series-title":"Proceedings of the Second Maghrebin Conference on SE and AI","article-title":"A graphical editor-simulator for algebraic term nets","author":"Bounouioua","year":"1992"},{"key":"10.1016\/0164-1212(94)90025-6_BIB13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69962-7","article-title":"Fundamentals of Algebraic Specifications 1","author":"Ehrig","year":"1985"},{"key":"10.1016\/0164-1212(94)90025-6_BIB14","series-title":"Data Communications, Computer Networks and OSI","author":"Halsall","year":"1988"},{"key":"10.1016\/0164-1212(94)90025-6_BIB15","year":"1982","journal-title":"ISO\/DIS 7498"},{"key":"10.1016\/0164-1212(94)90025-6_BIB16","series-title":"High-Level Petri Nets","year":"1991"},{"key":"10.1016\/0164-1212(94)90025-6_BIB17","series-title":"Proceedings ECOOP\/OOPSLA'90, ACM","article-title":"A logical theory of concurrent objects","author":"Meseguer","year":"1990"},{"key":"10.1016\/0164-1212(94)90025-6_BIB18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(91)90203-E","article-title":"Petri Nets and Algebraic Specifications","author":"Reizig","year":"1991","journal-title":"TCS 80"},{"key":"10.1016\/0164-1212(94)90025-6_BIB19","series-title":"InterEditions","article-title":"R\u00e9seaux, architecture, protocoles, applications","author":"Tanenbaum","year":"1990"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0164121294900256?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0164121294900256?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T02:59:15Z","timestamp":1552618755000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0164121294900256"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,11]]},"references-count":19,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1994,11]]}},"alternative-id":["0164121294900256"],"URL":"https:\/\/doi.org\/10.1016\/0164-1212(94)90025-6","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[1994,11]]}}}