{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:30:43Z","timestamp":1725467443630},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540633839"},{"type":"electronic","value":"9783540695271"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63383-9_91","type":"book-chapter","created":{"date-parts":[[2006,7,17]],"date-time":"2006-07-17T14:27:52Z","timestamp":1153146472000},"page":"355-373","source":"Crossref","is-referenced-by-count":0,"title":["From layer to layer \u2014 object-oriented protocol refinement in kannel"],"prefix":"10.1007","author":[{"given":"Kari","family":"Gran\u014d","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jukka","family":"Paakki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,29]]},"reference":[{"key":"23_CR1","unstructured":"A.V. Aho, J.D. Ullman: The Theory of Parsing, Translation and Compiling. Volume I:Parsing. Prentice-Hall, 1972."},{"key":"23_CR2","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1007\/BF00291051","volume":"25","author":"R.J.R. Back","year":"1988","unstructured":"R.J.R. Back: A Calculus of Refinements for Program Derivations. Acta Informatica 25, 1988, 593\u2013624.","journal-title":"Acta Informatica"},{"issue":"4","key":"23_CR3","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1016\/0169-7552(89)90078-0","volume":"16","author":"F. Belina","year":"1989","unstructured":"F. Belina, D. Hogrefe: The CCITT Specification and Description Language SDL. Computer Networks and ISDN Systems 16, 4, 1989, 311\u2013341.","journal-title":"Computer Networks and ISDN Systems"},{"issue":"1","key":"23_CR4","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T. Bolognesi","year":"1987","unstructured":"T. Bolognesi, E. Brinksma: Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems 14, 1, 1987, 25\u201359.","journal-title":"Computer Networks and ISDN Systems"},{"issue":"1","key":"23_CR5","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0169-7552(87)90084-5","volume":"14","author":"S. Budkowski","year":"1987","unstructured":"S. Budkowski, P. Dembinski: An Introduction to ESTELLE: A Specification Language for Distributed Systems. Computer Networks and ISDN Systems 14, 1, 1987, 3\u201323.","journal-title":"Computer Networks and ISDN Systems"},{"issue":"1","key":"23_CR6","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1109\/32.120312","volume":"18","author":"D. Coleman","year":"1992","unstructured":"D. Coleman, F. Hayes, S. Bear: Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design. IEEE Transactions on Software Engineering 18, 1, 1992, 9\u201318.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"23_CR7","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/BF01898400","volume":"3","author":"E. Cusack","year":"1991","unstructured":"E. Cusack: Refinement, Conformance and Inheritance. Formal Aspects of Computing 3, 1991, 129\u2013141.","journal-title":"Formal Aspects of Computing"},{"key":"23_CR8","doi-asserted-by":"publisher","first-page":"1143","DOI":"10.1016\/0169-7552(94)90016-7","volume":"26","author":"O. Faergemand","year":"1994","unstructured":"O. Faergemand, A. Olsen: Introduction to SDL-92. Computer Networks and ISDN Systems 26, 1994, 1143\u20131167.","journal-title":"Computer Networks and ISDN Systems"},{"issue":"3","key":"23_CR9","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1109\/TCOM.1986.1096529","volume":"34","author":"P.E. Green Jr.","year":"1986","unstructured":"P.E. Green, Jr.: Protocol Conversion. IEEE Transactions on Communications 34, 3, 1986, 257\u2013268.","journal-title":"IEEE Transactions on Communications"},{"key":"23_CR10","first-page":"465","volume-title":"Proc. 21st EUROMICRO Conf. on the Design of Hardware\/Software Systems (EUROMICRO'95)","author":"K. Gran\u00f6","year":"1995","unstructured":"K. Gran\u00f6, J. Harju, T. J\u00e4rvinen, T. Larikka, J. Paakki: Object-Oriented Protocol Design and Reuse in Kannel. In: Proc. 21st EUROMICRO Conf. on the Design of Hardware\/Software Systems (EUROMICRO'95), Como, Italy, 1995. IEEE Computer Society Press, 1995, 465\u2013472."},{"key":"23_CR11","unstructured":"K. Gran\u00f6, J. Harju, J. Paakki, T. J\u00e4rvinen: Proposal for a Protocol Engineering Language. Technical Reports TR-6, Department of Computer Science and Information Systems, University of Jyv\u00e4skyl\u00e4, 1994."},{"key":"23_CR12","first-page":"246","volume-title":"Proc. 18th International Conf. on Software Engineering (ICSE-18)","author":"D. Harel","year":"1996","unstructured":"D. Harel, E. Gery: Executable Object Modeling with Statecharts. In: Proc. 18th International Conf. on Software Engineering (ICSE-18), Berlin, Germany, 1996. IEEE Computer Society Press, 1996, 246\u2013257."},{"key":"23_CR13","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel: Statecharts: A Visual Approach to Complex Systems. Science of Computer Programming 8, 1987, 231\u2013274.","journal-title":"Science of Computer Programming"},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"B. Jonsson: On Decomposing and Refining Specifications of Distributed Systems. In: Stepwise Refinement of Distributed Systems. Lecture Notes in Computer Science 430, Springer-Verlag, 1989, 361\u2013385.","DOI":"10.1007\/3-540-52559-9_71"},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"J. Lamping: Typing the Specialization Interface. In: Proc. OOPSLA'93, Washington, DC. ACM SIGPLAN Notices 28, 10, 1993, 201\u2013214.","DOI":"10.1145\/165854.165891"},{"issue":"4","key":"23_CR16","first-page":"61","volume":"18","author":"J.D. McGregor","year":"1993","unstructured":"J.D. McGregor, D.M. Dyer: A Note on Inheritance and State Machines. ACM SIGPLAN Notices 18, 4, 1993, 61\u201369.","journal-title":"ACM SIGPLAN Notices"},{"key":"23_CR17","unstructured":"B. Meyer: Eiffel \u2014 The Language. Prentice-Hall, 1992."},{"key":"23_CR18","unstructured":"C. Szyperski, S. Omohundro, S. Murer: Engineering a Programming Language: The Type and Class System of Sather. In: J. Gutknecht (ed.): Programming Languages and System Architectures. Lecture Notes in Computer Science 782, Springer-Verlag, 1993, 208\u2013227."},{"key":"23_CR19","unstructured":"D. Steedman: ASNA \u2014 Tutorial & Reference. Technology Appraisals Ltd., 1990."},{"key":"23_CR20","doi-asserted-by":"crossref","unstructured":"S.R. Thatt\u00e9: Automated Synthesis of Interface Adapters for Reusable Classes. In: Conf. Record 21 st ACM SIGACT-SIGPLAN Symp. on Principles of Programming Languages (POPL'94), Portland, Oregon, 1994, 174\u2013187.","DOI":"10.1145\/174675.177850"},{"key":"23_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/3-540-45910-3_4","volume-title":"Proc. Second European Conf. on Object-Oriented Programming (ECOOP'88)","author":"P. Wegner","year":"1988","unstructured":"P. Wegner, S.B. Zdonik: Inheritance as an Incremental Modification Mechanism or What Like Is and Isn't Like. In: Proc. Second European Conf. on Object-Oriented Programming (ECOOP'88), Oslo, Norway, 1988. Lecture Notes in Computer Science 322, Springer-Verlag, 1988, 55\u201377."},{"key":"23_CR22","unstructured":"D.M. Yellin, R.E. Strom: Interfaces, Protocols, and the Semi-Automatic Construction of Software Adaptors. In: Proc. OOPSLA'94, Portland, Oregon. ACM SIGPLAN Notices 29, 10, 1994, 176\u2013190."}],"container-title":["Lecture Notes in Computer Science","Coordination Languages and Models"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63383-9_91","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T02:04:41Z","timestamp":1555725881000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63383-9_91"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540633839","9783540695271"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-63383-9_91","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}