{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:07:51Z","timestamp":1725574071073},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540240877"},{"type":"electronic","value":"9783540305026"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30502-6_36","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T22:22:20Z","timestamp":1294438940000},"page":"494-508","source":"Crossref","is-referenced-by-count":5,"title":["Concurrent Constraint-Based Memory Machines: A Framework for Java Memory Models (Summary)"],"prefix":"10.1007","author":[{"given":"Vijay","family":"Saraswat","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"36_CR1","doi-asserted-by":"crossref","unstructured":"Lamport, L.: How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Transactions on Computers\u00a028 (1979)","DOI":"10.1109\/TC.1979.1675439"},{"key":"36_CR2","doi-asserted-by":"crossref","unstructured":"Adve, S., Gharachorloo, K.: Shared Memory Consistency Models: A tutorial. Technical report, Digital Western Research Laboratory (1995)","DOI":"10.21236\/ADA638015"},{"key":"36_CR3","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1109\/5.747865","volume":"87","author":"S. Adve","year":"1999","unstructured":"Adve, S., Pai, V.S., Ranganthan, P.: Recent Advances in Memory Consistency Models for Hardware Shared-Memory Systems. Proceedings of the IEEE\u00a087, 445\u2013455 (1999)","journal-title":"Proceedings of the IEEE"},{"key":"36_CR4","unstructured":"Schrijvers, T., Demoen, B.: JMMSolve: a generative reference implementation of CCM Machines. Technical Report Report CW 379, Katholieke Universiteit Leuven (2004)"},{"key":"36_CR5","doi-asserted-by":"crossref","unstructured":"Saraswat, V.: Concurrent Constraint-based Memory Machines: A framework for java Memory Models. Technical report, IBM T.J.Watson Research Center, Hawthorne NY (2004), Available at http:\/\/www.saraswat.org","DOI":"10.1007\/978-3-540-30502-6_36"},{"key":"36_CR6","volume-title":"The Java Language Specification","author":"J. Gosling","year":"2000","unstructured":"Gosling, J., Joy, W., Steele, G., Bracha, G.: The Java Language Specification. Addison-Wesley, Reading (2000)"},{"key":"36_CR7","unstructured":"Pugh, W.: Proposal for Java Memory Model and Thread Specification Revision, JSR 133 (2001), http:\/\/www.jcp.org\/en\/jsr\/detail?id=133"},{"key":"36_CR8","unstructured":"Pugh, W.: Java Memory Model and Thread Specification Revision, JSR 133 (2004), http:\/\/www.jcp.org\/en\/jsr\/detail?id=133"},{"key":"36_CR9","unstructured":"Pugh, W.: Java Memory Model Causality Test Cases. Technical report, U Maryland (2004), http:\/\/www.cs.umd.edu\/~pugh\/java\/memoryModel\/"},{"key":"36_CR10","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2086.001.0001","volume-title":"Concurrent Constraint Programming. Doctoral Dissertation Award and Logic Programming","author":"V. Saraswat","year":"1993","unstructured":"Saraswat, V.: Concurrent Constraint Programming. Doctoral Dissertation Award and Logic Programming. MIT Press, Cambridge (1993)"},{"key":"36_CR11","doi-asserted-by":"crossref","unstructured":"Manson, J., Pugh, W.: The Manson\/Pugh model. Technical report, U Maryland (2004), http:\/\/www.cs.umd.edu\/~pugh\/java\/memoryModel\/","DOI":"10.1145\/1040305.1040336"},{"key":"36_CR12","unstructured":"Adve, S.: Sc-. Technical report, University of Illinois Urbana-Champaign (2004), http:\/\/www.cs.umd.edu\/~pugh\/java\/memoryModel\/"},{"key":"36_CR13","doi-asserted-by":"crossref","unstructured":"Maessen, J.W., Arvind, S.X.: Improving the Java Memory Model Using CRF. In: OOPSLA (2000)","DOI":"10.1145\/353171.353172"},{"key":"36_CR14","unstructured":"Yang, Y., Gopalakrishna, G., Lindstrom, G.: A Generic Operatonal Memory Model Specification Framework for Multithreaded Program Verification. Technical report, School of Computing, U.\u00a0of Utah (2004)"}],"container-title":["Lecture Notes in Computer Science","Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30502-6_36.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:58:01Z","timestamp":1605761881000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30502-6_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540240877","9783540305026"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30502-6_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}