{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T14:01:57Z","timestamp":1725544917415},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540326045"},{"type":"electronic","value":"9783540326052"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11678779_16","type":"book-chapter","created":{"date-parts":[[2006,3,2]],"date-time":"2006-03-02T08:03:26Z","timestamp":1141286606000},"page":"224-246","source":"Crossref","is-referenced-by-count":2,"title":["Verification of the Java Causality Requirements"],"prefix":"10.1007","author":[{"given":"Sergey","family":"Polyakov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Assaf","family":"Schuster","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Causality Test Cases, http:\/\/www.cs.umd.edu\/~pugh\/java\/memoryModel\/CausalityTestCases.html"},{"key":"16_CR2","unstructured":"JSR-133: Java Memory Model and Thread Specification (August 2004), http:\/\/www.cs.umd.edu\/~pugh\/java\/memoryModel\/jsr133.pdf"},{"issue":"6","key":"16_CR3","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1109\/71.242161","volume":"4","author":"S.V. Adve","year":"1993","unstructured":"Adve, S.V., Hill, M.D.: A unified formalization of four shared-memory models. IEEE Trans. on Parallel and Distributed Systems\u00a04(6), 613\u2013624 (1993)","journal-title":"IEEE Trans. on Parallel and Distributed Systems"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Adve, S.V., Manson, J., Pugh, W.: The Java Memory Model. In: POPL 2005 (2005)","DOI":"10.1145\/1040305.1040336"},{"key":"16_CR5","unstructured":"Adve, S.V., Gharachorloo, K., Gupta, A., Hennessy, J.L., Hill, M.D.: Sufficient System Requirements for Supporting the PLpc Memory Model. Technical Report #1200, University of Wisconsin-Madison (1993)"},{"key":"16_CR6","unstructured":"Alexandrescu, A., Boehm, H., Henney, K., Lea, D., Pugh, B.: Memory model for multithreaded C++ (2004), http:\/\/www.open-std.org\/jtc1\/sc22\/wg21\/docs\/papers\/2004\/n1680.pdf"},{"key":"16_CR7","unstructured":"Boehm, H., Lea, D., Pugh, B.: Implications of C++ Memory Model Discussions on the C Language (2005), http:\/\/www.open-std.org\/jtc1\/sc22\/wg14\/www\/docs\/n1131.pdf"},{"issue":"6","key":"16_CR8","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1145\/1064978.1065042","volume":"40","author":"H.-J. Boehm","year":"2005","unstructured":"Boehm, H.-J.: Threads cannot be implemented as a library. SIGPLAN Not.,\u00a040(6), 261\u2013268 (2005)","journal-title":"SIGPLAN Not.,"},{"key":"16_CR9","volume-title":"Proceedings of the International Parallel and Distributed Processing Symphosium","author":"W.K. Charles","year":"2004","unstructured":"Charles, W.K.: The UPC Memory Model: Problems and Prospects. In: Proceedings of the International Parallel and Distributed Processing Symphosium. IEEE, Los Alamitos (2004)"},{"key":"16_CR10","unstructured":"Doug, L.: The JSR-133 Cookbook for Compiler Writers, http:\/\/gee.cs.oswego.edu\/dl\/jmm\/cookbook.html"},{"issue":"4","key":"16_CR11","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1016\/0743-7315(92)90052-O","volume":"15","author":"K. Gharachorloo","year":"1992","unstructured":"Gharachorloo, K., Adve, S.V., Gupta, A., Hennessy, J.L., Hill, M.D.: Programming for different memory consistency models. Journal of Parallel and Distributed Computing\u00a015(4), 399\u2013407 (1992)","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"16_CR12","unstructured":"Gharachorloo, K., Adve, S.V., Gupta, A., Hennessy, J.L., Hill, M.D.: Specifying System Requirements for Memory Consistency Models. Technical Report #CSLTR- 93-594, Stanford University (1993)"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Gharachorloo, K., Lenoski, D., Laudon, J., Gibbons, P., Gupta, A., Hennessy, J.: Memory consistency and event ordering in scalable shared-memory multiprocessors. In: Proceedings of the 17th Intl. Symp. on Computer Architecture, May 1990, pp. 15\u201326 (1990)","DOI":"10.1145\/325096.325102"},{"key":"16_CR14","unstructured":"Gibbons, P.B., Korach, E.: New results on the complexity of sequential consistency. Technical report, AT&T Bell Laboratories, Murray Hill NJ (September 1993)"},{"key":"16_CR15","volume-title":"The Java Language Specification","author":"J. Gosling","year":"2005","unstructured":"Gosling, J., Joy, B., Steele, G., Bracha, G.: The Java Language Specification, 3rd edn. Addison-Wesley, Reading (2005)","edition":"3"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Kohli, P., Neiger, G., Ahamad, M.: A Characterization of Scalable Shared Memories. Technical Report GIT-CC-93\/04, College of Computing, Georgia Institute of Technology, Atlanta, Georgia 30332-0280 (January 1993)","DOI":"10.1109\/ICPP.1993.15"},{"key":"16_CR17","unstructured":"The Java Memory Model mailing list archive, http:\/\/www.cs.umd.edu\/~pugh\/java\/memoryModel\/archive"}],"container-title":["Lecture Notes in Computer Science","Hardware and Software, Verification and Testing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11678779_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:15:38Z","timestamp":1619493338000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11678779_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540326045","9783540326052"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11678779_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}