{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T02:37:55Z","timestamp":1781836675992,"version":"3.54.5"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540661580","type":"print"},{"value":"9783540487371","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48737-9_5","type":"book-chapter","created":{"date-parts":[[2007,6,7]],"date-time":"2007-06-07T02:08:36Z","timestamp":1181182116000},"page":"157-200","source":"Crossref","is-referenced-by-count":32,"title":["An Event-Based Structural Operational Semantics of Multi-threaded Java"],"prefix":"10.1007","author":[{"given":"Pietro","family":"Cenciarelli","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alexander","family":"Knapp","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bernhard","family":"Reus","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Martin","family":"Wirsing","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2002,4,19]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8598-9","volume-title":"A Theory of Objects","author":"M. Abadi","year":"1996","unstructured":"Mart\u00edn Abadi and Luca Cardelli. A Theory of Objects. Springer, NewYork, 1996."},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Mart\u00edn Abadi and K. Rustan M. Leino. A Logic of Object-Oriented Programs. In Michel Bidoit and Max Dauchet, editors, Proc. 7 th Int. Conf. Theory and Practice of Software, volume 1214 of Lect. Notes Comp. Sci., pages 682\u2013696, Berlin, 1997. Springer.","DOI":"10.1007\/BFb0030634"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Jim Alves-Foss, editor. Formal Syntax and Semantics of Java. Lect. Notes Comp. Sci. Springer, Berlin, 1998. This volume","DOI":"10.1007\/3-540-48737-9"},{"key":"5_CR4","volume-title":"The Java Programming Language","author":"K. Arnold","year":"1996","unstructured":"Ken Arnold and James Gosling. The Java Programming Language. Addison-Wesley, Reading,Mass., 1996."},{"key":"5_CR5","volume-title":"Lect. Notes Comp. Sci","author":"E. B\u00f6rger","year":"1998","unstructured":"Egon B\u00f6rger and Wolfram Schulte. A Programmer Friendly Modular Definition for the Semantics of Java. In Alves-Foss [3]. This volume."},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, and Martin Wirsing. From Sequential to Multi-threaded Java: An Event-Based Operational Semantics. In Michael Johnson, editor, Proc. 6 th Int. Conf. Algebraic Methodology and Software Technology, volume 1349 of Lect. Notes Comp. Sci., pages 75\u201390, Berlin, 1997. Springer.","DOI":"10.1007\/BFb0000464"},{"key":"5_CR7","unstructured":"Richard Cohen. The Defensive Java Virtual Machine Specification. Technical report, Computational Logic Inc., 1997. Draft at http:\/\/www.cli.com ."},{"key":"5_CR8","volume-title":"Lect. Notes Comp. Sci","author":"S. Drossopoulou","year":"1998","unstructured":"Sophia Drossopoulou and Susan Eisenbach. Java is Type Safe \u2014 Probably. In Alves-Foss [3]. This volume."},{"key":"5_CR9","volume-title":"Lect. Notes Comp. Sci","author":"M. Flatt","year":"1998","unstructured":"Matthew Flatt, Shriram Krishnamurthi, and Matthias Felleisen. A Programmer\u2019s Reduction Semantics for Classes and Mixins. In Alves-Foss [3]. This volume."},{"key":"5_CR10","volume-title":"The Java Language Specification","author":"J. Gosling","year":"1996","unstructured":"James Gosling, Bill Joy, and Guy Steele. The Java Language Specification. Addison-Wesley, Reading,Mass., 1996."},{"key":"5_CR11","unstructured":"Yuri Gurevich. Evolving Algebras 1993: Lipari Guide. In Egon B\u00f6rger, editor, Specification and Validation Methods, pages 9\u201336. Oxford University Press, 1995."},{"key":"5_CR12","volume-title":"Concurrent Programming in Java","author":"D. Lea","year":"1997","unstructured":"Doug Lea. Concurrent Programming in Java. Addison-Wesley, Reading,Mass., 1997."},{"key":"5_CR13","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2319.001.0001","volume-title":"The Definition of Standard ML (Revised)","author":"R. Milner","year":"1997","unstructured":"Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The Definition of Standard ML (Revised). MIT Press, Cambridge, Mass., 1997."},{"key":"5_CR14","volume-title":"Lect. Notes Comp. Sci","author":"T. Nipkow","year":"1998","unstructured":"Tobias Nipkow and David von Oheimb. Machine-checking the Java Specification: Proving Type-Saftey. In Alves-Foss [3]. This volume."},{"key":"5_CR15","unstructured":"Gordon D. Plotkin. A Structural Approach to Operational Semantics (Lecture notes). Technical Report DAIMI FN-19, Aarhus University, 1981 (repr. 1991)."},{"key":"5_CR16","volume-title":"Lect. Notes Comp. Sci","author":"Z. Qian","year":"1998","unstructured":"Zhenyu Qian. A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subroutines. In Alves-Foss [3]. This volume."},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Bernhard Reus, Alexander Knapp, Pietro Cenciarelli, and Martin Wirsing. Verifying a Compiler Optimization for Multi-threaded Java. In Francesco Parisi Presicce, editor, Sel. Papers 12 th Int. Wsh. Recent Trends in Algebraic Development Techniques, volume 1376 of Lect. Notes Comp. Sci., pages 402\u2013417, Berlin, 1998. Springer.","DOI":"10.1007\/3-540-64299-4_47"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Raymie Stata and Mart\u00edn Abadi. A Type System for Java Bytecode Subroutines. In Proc. 25 th ACM Symp. Principles of Programming Languages, 1998. To appear.","DOI":"10.1145\/268946.268959"},{"key":"5_CR19","volume-title":"Lect. Notes Comp. Sci","author":"D. Syme","year":"1998","unstructured":"David Syme. Proving Java Type Soundness. In Alves-Foss [3]. This volume."},{"key":"5_CR20","unstructured":"Charles Wallace. The Semantics of the Java Programming Language: Preliminary Version. Technical Report CSE-TR-355-97, University of Michigan, 1997."},{"key":"5_CR21","series-title":"volume 354 of Lect. Notes Comp. Sci.","first-page":"364","volume-title":"Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency","author":"G. Winskel","year":"1988","unstructured":"Glynn Winskel. An Introduction to Event Structures. In JacobusW. de Bakker, Willem P. de Roever, and Grzegorg Rozenberg, editors, Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, volume 354 of Lect. Notes Comp. Sci., pages 364\u2013397. Springer, Berlin, 1988."}],"container-title":["Lecture Notes in Computer Science","Formal Syntax and Semantics of Java"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48737-9_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T19:43:01Z","timestamp":1556480581000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48737-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540661580","9783540487371"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-48737-9_5","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}