{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T12:46:26Z","timestamp":1725453986729},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540638889"},{"type":"electronic","value":"9783540696612"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0000464","type":"book-chapter","created":{"date-parts":[[2005,10,5]],"date-time":"2005-10-05T06:30:36Z","timestamp":1128493836000},"page":"75-90","source":"Crossref","is-referenced-by-count":12,"title":["From sequential to multi-threaded Java: An event-based operational semantics"],"prefix":"10.1007","author":[{"given":"Pietro","family":"Cenciarelli","sequence":"first","affiliation":[]},{"given":"Alexander","family":"Knapp","sequence":"additional","affiliation":[]},{"given":"Bernhard","family":"Reus","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Wirsing","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,9,7]]},"reference":[{"key":"6_CR1","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":"6_CR2","first-page":"389","volume-title":"volume 1241 of Lect. Notes Comp. Sci.","author":"S. Drossopoulou","year":"1997","unstructured":"Sophia Drossopoulou and Susan Eisenbach. Java is Type Safe \u2014 Probably. In Mehmet Aksit, editor, Proc. 11\n\n                  th\n                \nEurop. Conf. Object-Oriented Programming, volume 1241 of Lect. Notes Comp. Sci., pages 389\u2013418, Berlin, 1997. Springer."},{"key":"6_CR3","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":"6_CR4","volume-title":"Concurrent Programming in Java","author":"D. Lea","year":"1997","unstructured":"Doug Lea. Concurrent Programming in Java. Addison-Wesley, Reading, Mass., 1997."},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Wei Li. An Operational Semantics of Multitasking and Exception Handling in Ada. In Proc. AdaTEC Conf. Ada, pages 138\u2013151, New York, 1982. ACM SIGAda.","DOI":"10.1145\/3304133.3304153"},{"key":"6_CR6","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":"6_CR7","unstructured":"Gordon D. Plotkin. Structural Operational Semantics (Lecture notes). Technical Report DAIMI FN-19, Aarhus University, 1981 (repr. 1991)."},{"key":"6_CR8","series-title":"volume 354 of Lect. Notes Comp. Sci.","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 Jacobus W. de Bakker, editor, Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, volume 354 of Lect. Notes Comp. Sci., Berlin, 1988. Springer."}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0000464","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T15:29:53Z","timestamp":1549207793000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0000464"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540638889","9783540696612"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/bfb0000464","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}