{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T14:07:33Z","timestamp":1751983653712},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540679592"},{"type":"electronic","value":"9783540445180"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44518-8_14","type":"book-chapter","created":{"date-parts":[[2007,5,26]],"date-time":"2007-05-26T23:44:13Z","timestamp":1180223053000},"page":"242-265","source":"Crossref","is-referenced-by-count":12,"title":["On the Formal Semantics of SDL-2000:A Compilation Approach Based on an Abstract SDL Machine"],"prefix":"10.1007","author":[{"given":"Robert","family":"Eschbach","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Uwe","family":"Gl\u00e4sser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reinhard","family":"Gotzhein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Prinz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,7,26]]},"reference":[{"key":"14_CR1","unstructured":"J. A. Bergstra and C. A. Middleburg. Process Algebra Semantics of\u2019 SDL. Technical Report UNU\/IIST Report No. 68, UNU\/IIST, The United Nations University, April 1996."},{"key":"14_CR2","series-title":"Lect Notes Comput Sci","volume-title":"Current Trends in Applied Formal Methods (FM-Trends 98)","author":"E. B\u00f6rger","year":"1999","unstructured":"E. B\u00f6rger. High Level System Design and Analysis using Abstract State Machines\u201d. In Traverso Ullman Hutter, Stephan, editor, Current Trends in Applied Formal Methods (FM-Trends 98), LNCS. Springer, 1"},{"key":"14_CR3","series-title":"Lect Notes Comput Sci","volume-title":"Formal Syntax and Semantics of Java","author":"E. B\u00f6rger","year":"1998","unstructured":"E. B\u00f6rger and W. Schulte. A Programmer Friendly Modular Definition of the Semantics of Java. In J. Alves-Foss, editor, Formal Syntax and Semantics of Java, LNCS. Springer, 1998."},{"key":"14_CR4","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/BF01211434","volume":"3","author":"M. Broy","year":"1991","unstructured":"M. Broy. Towards a Formal Foundation of the Specification and Description Language SDL. Formal Aspects of Computing 3, (3):21\u201357, 1991.","journal-title":"Formal Aspects of Computing 3"},{"key":"14_CR5","unstructured":"M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T. F. Gritzner, and R. Weber. The design of distributed systems \u2014 an introduction to FOCUS. Technical Report TUM-19202-2 (SFB-Bericht Nr. 342\/2-2\/92\/A), Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen, January 1993."},{"key":"14_CR6","unstructured":"J. Ellsberger, D. Hogrefe, and A. Sarma. SDL: Formal Object-oriented Language for Communicating Systems. Prentice Hall Europe, 1997."},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"R. Eschbach, R. Gotzhein, and A. Prinz. On the Formal Semantics of SDL-2000: A Compilation Approach using Abstract State Machines. In Local Proc. of ASM2000,Monte Verit\u00e0, Switzerland, 2000.","DOI":"10.1007\/3-540-44518-8_14"},{"key":"14_CR8","unstructured":"J. Fischer and E. Dimitrov. Verification of SDL protocol specifications using extended Petri Nets. In Proc. of the Workshop on Petri Nets and Protocols of the 16th Intern. Conf. on Application and Theory of Petri Nets, pages 1\u201312. Torino, Italy, 1995."},{"key":"14_CR9","unstructured":"J. Fischer, E. Dimitrov, and U. Taubert. Analysis and formal verification of SDL\u201992 specifications using extended Petri Nets, 1995. internal report."},{"key":"14_CR10","unstructured":"U. Gl\u00e4sser. ASM semantics of SDL: Concepts, methods, tools. In Y. Lahav, A. Wolisz, J. Fischer, and E. Holz, editors, Proc. of the 1st Workshop of the SDL Forum Society on SDL and MSC (Berlin, June 29-July 1, 1998), volume 2, pages 271\u2013280, 1998."},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"U. Gl\u00e4sser, R. Gotzhein, and A. Prinz. Towards a New Formal SDL Semantics Based on Abstract State Machines. In SDL\u201999-The Next Millennium, Proc. of the 9th SDL Forum. Elsevier Science B.V., 1999.","DOI":"10.1016\/B978-044450228-5\/50013-8"},{"issue":"12","key":"14_CR12","first-page":"1382","volume":"3","author":"U. Gl\u00e4sser","year":"1997","unstructured":"U. Gl\u00e4sser and R. Karges. Abstract State Machine semantics of SDL. Journal of Universal Computer Science, 3(12):1382\u20131414, 1997.","journal-title":"Journal of Universal Computer Science"},{"key":"14_CR13","unstructured":"R. Gotzhein, B. Geppert, F. R\u00f6\\ler, and P. Schaible. Towards a new formal SDL semantics. In Y. Lahav, A. Wolisz, J. Fischer, and E. Holz, editors, Proc. of the 1st Workshop of the SDL Forum Society on SDL and MSC (Berlin, June 29-July 1, 1998), volume 1, pages 55\u201364, 1998."},{"key":"14_CR14","unstructured":"Y. Gurevich. Evolving Algebras 1993: Lipari Guide. In E. B\u00f6rger, editor, Specification and Validation Methods. Oxford Univ. Press, 1995."},{"key":"14_CR15","unstructured":"Y. Gurevich. May 1997 draft of the ASM guide. Technical ReportCSE-TR-336-97, University of Michigan, 1997."},{"key":"14_CR16","unstructured":"-Y. Gurevich. The sequential ASM thesis. Bulletin of the European Association for Theoretical Computer Science, 67:93\u2013124, February 1999."},{"key":"14_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"274","DOI":"10.1007\/3-540-56992-8_17","volume-title":"Selected papers from CSL\u201992 (Computer Science Logic)","author":"Y. Gurevich","year":"1993","unstructured":"Y. Gurevich and J. K. Huggins. The Semantics of the C Programming Language. In Selected papers from CSL\u201992 (Computer Science Logic), LNCS, pages 274\u2013308. Springer, 1993."},{"key":"14_CR18","unstructured":"U. Hinkel. Formale, semantische Fundierung und eine darauf abgest\u00fctzte Verifikationsmethode f\u00fcr SDL. Ph.D., Techn. Univ. M\u00fcnchen, 1998."},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"E. Holz and K. St\u00f8len. An Attempt to Embed a Restricted Version of SDL as a Target Language in Focus. In St. Leue D. Hogrefe, editor, Proc. of Forte\u2019 94, pages 324\u2013339. Chapmann & Hall, 1994.","DOI":"10.1007\/978-0-387-34878-0_26"},{"key":"14_CR20","unstructured":"ITU-T. Recommendation Z.100: Specification and Description Language (SDL), International Telecommunication Union (ITU). Geneva, 1999."},{"key":"14_CR21","volume-title":"BSDL: The Language-Version 0.2. Department of Computer Science","author":"St. Lau","year":"1995","unstructured":"St. Lau and A. Prinz. BSDL: The Language-Version 0.2. Department of Computer Science, Humboldt University Berlin, August 1995."},{"key":"14_CR22","unstructured":"A. Mitschele-Thiel. Performance evaluation of SDL systems. In Y. Lahav, A. Wolisz, J. Fischer, and E. Holz, editors, Proc. of the 1st Workshop of the SDL Forum Society on SDL and MSC (Berlin, June 29-July 1, 1998), volume 1, pages 35\u201344, 1"},{"key":"14_CR23","unstructured":"A. Olsen, O. F\u00e6rgemand, B. M\u00f8ller-Pedersen, R. Reed, and J. R. W. Smith. Systems Engineering Using SDL-92. Elsevier Science B. V., 1994."},{"key":"14_CR24","unstructured":"A. Prinz, R. Gotzhein, U. Gl\u00e4sser, and R. Eschbach. SDL Formal Semantics, Z.100.F, ITU-T, International Telecommunication Union. http:\/\/www.informatik.hu-berlin.de\/~prinz\/Semantics\/Z100F_Geneva.doc ."}],"container-title":["Lecture Notes in Computer Science","Abstract State Machines - Theory and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44518-8_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T11:02:04Z","timestamp":1556449324000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44518-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540679592","9783540445180"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-44518-8_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}