{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T02:08:57Z","timestamp":1776305337474,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540713142","type":"print"},{"value":"9783540713166","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-71316-6_23","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T16:58:28Z","timestamp":1184605108000},"page":"331-346","source":"Crossref","is-referenced-by-count":18,"title":["The Java Memory Model: Operationally, Denotationally, Axiomatically"],"prefix":"10.1007","author":[{"given":"Pietro","family":"Cenciarelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Knapp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eleonora","family":"Sibilio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"561","DOI":"10.1007\/BFb0012800","volume-title":"Automata, Languages, and Programming","author":"G. Winskel","year":"1982","unstructured":"Winskel, G.: Event Structure Semantics of CCS and Related Languages. In: Nielsen, M., Schmidt, E.M. (eds.) ICALP 1982. LNCS, vol.\u00a0140, pp. 561\u2013576. Springer, Heidelberg (1982)"},{"issue":"1","key":"23_CR2","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M. Nielsen","year":"1981","unstructured":"Nielsen, M., Plotkin, G.D., Winskel, G.: Petri Nets, Event Structures and Domains: Part I. Theo. Comp. Sci.\u00a013(1), 85\u2013108 (1981)","journal-title":"Theo. Comp. Sci."},{"key":"23_CR3","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/s002360000041","volume":"37","author":"R.J. Glabbeek van","year":"2001","unstructured":"van Glabbeek, R.J., Goltz, U.: Refinement of Actions and Equivalence Notions for Concurrent Systems. Acta Informatica\u00a037, 229\u2013327 (2001)","journal-title":"Acta Informatica"},{"key":"23_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"Advances in Petri Nets 1986. Proceedings of an Advanced Course","author":"G. Winskel","year":"1987","unstructured":"Winskel, G.: Event Structures. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol.\u00a0255, Springer, Heidelberg (1987)"},{"key":"23_CR5","first-page":"199","volume-title":"Proc. 10 $^{\\text{th}}$ IEEE Symp. Logics in Computer Science (LICS\u201995)","author":"R.J. Glabbeek van","year":"1995","unstructured":"van Glabbeek, R.J., Plotkin, G.D.: Configuration Structures. In: Proc. 10 $^{\\text{th}}$ IEEE Symp. Logics in Computer Science (LICS\u201995), San Diego, pp. 199\u2013209. IEEE Press, Los Alamitos (1995)"},{"key":"23_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/3-540-45793-3_14","volume-title":"Computer Science Logic","author":"P. Cenciarelli","year":"2002","unstructured":"Cenciarelli, P.: Configuration Theories. In: Bradfield, J.C. (ed.) CSL 2002 and EACSL 2002. LNCS, vol.\u00a02471, pp. 200\u2013215. Springer, Heidelberg (2002)"},{"key":"23_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"550","DOI":"10.1007\/978-3-540-28629-5_42","volume-title":"Mathematical Foundations of Computer Science 2004","author":"R.J. Glabbeek van","year":"2004","unstructured":"van Glabbeek, R.J., Plotkin, G.D.: Event Structures for Resolvable Conflicts. In: Fiala, J., Koubek, V., Kratochv\u00edl, J. (eds.) MFCS 2004. LNCS, vol.\u00a03153, pp. 550\u2013561. Springer, Heidelberg (2004)"},{"key":"23_CR8","volume-title":"The Java Language Specification","author":"J. Gosling","year":"2005","unstructured":"Gosling, J., et al.: The Java Language Specification, 3rd edn. Addison-Wesley Longman, Amsterdam (2005)","edition":"3"},{"key":"23_CR9","first-page":"378","volume-title":"Proc. 32 $^{\\text{nd}}$ ACM SIGPLAN-SIGACT Symp. Principles of Programming Languages (POPL\u201905)","author":"J. Manson","year":"2005","unstructured":"Manson, J., Pugh, W., Adve, S.V.: The Java Memory Model. In: Proc. 32 $^{\\text{nd}}$ ACM SIGPLAN-SIGACT Symp. Principles of Programming Languages (POPL\u201905), pp. 378\u2013391. ACM Press, New York (2005)"},{"key":"23_CR10","first-page":"1","volume-title":"Handbook of Logic in Computer Science. Vol.\u00a04: Semantic Modelling","author":"G. Winskel","year":"1995","unstructured":"Winskel, G., Nielsen, M.: Models of Concurrency. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science. Vol.\u00a04: Semantic Modelling, pp. 1\u2013148. Oxford University Press, Oxford (1995)"},{"key":"23_CR11","volume-title":"Categories for the Working Mathematician","author":"S. MacLane","year":"1971","unstructured":"MacLane, S.: Categories for the Working Mathematician. Springer, New York (1971)"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Saraswat, V., et al.: A Theory of Memory Models (2006), http:\/\/www.saraswat.org\/raofull.pdf","DOI":"10.1145\/1229428.1229469"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71316-6_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T10:38:20Z","timestamp":1683974300000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71316-6_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540713142","9783540713166"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71316-6_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007]]}}}