{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:52:16Z","timestamp":1725562336494},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642152399"},{"type":"electronic","value":"9783642152405"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15240-5_27","type":"book-chapter","created":{"date-parts":[[2010,8,4]],"date-time":"2010-08-04T15:30:15Z","timestamp":1280935815000},"page":"371-385","source":"Crossref","is-referenced-by-count":2,"title":["An Operational Model for Multiprocessors with Caches"],"prefix":"10.1007","author":[{"given":"Salil","family":"Joshi","sequence":"first","affiliation":[]},{"given":"Sanjiva","family":"Prasad","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"12","key":"27_CR1","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1109\/2.546611","volume":"29","author":"S.V. Adve","year":"1996","unstructured":"Adve, S.V., Gharachorloo, K.: Shared Memory Consistency Models: A Tutorial. Computer\u00a029(12), 66\u201376 (1996)","journal-title":"Computer"},{"issue":"3a","key":"27_CR2","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/325096.325100","volume":"18","author":"S.V. Adve","year":"1990","unstructured":"Adve, S.V., Hill, M.D.: Weak Ordering\u2014A new definition. SIGARCH Comput. Archit. News\u00a018(3a), 2\u201314 (1990)","journal-title":"SIGARCH Comput. Archit. News"},{"key":"27_CR3","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/3-540-62034-6_34","volume-title":"Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science","author":"N.N. Arvind","year":"1996","unstructured":"Arvind, N.N., Maessen, J.-W., Nikhil, R.S., Stoy, J.E.: A Lambda Calculus with Letrecs and Barriers. In: Proceedings of the 16th Conference on Foundations of Software Technology and Theoretical Computer Science, London, UK, pp. 19\u201336. Springer, Heidelberg (1996)"},{"key":"27_CR4","first-page":"392","volume-title":"POPL \u201909: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages","author":"G. Boudol","year":"2009","unstructured":"Boudol, G., Petri, G.: Relaxed Memory Models: An Operational Approach. In: POPL \u201909: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages, pp. 392\u2013403. ACM, New York (2009)"},{"key":"27_CR5","volume-title":"The Cache Memory Book","author":"J. Handy","year":"1993","unstructured":"Handy, J.: The Cache Memory Book. Academic Press Professional, Inc., San Diego (1993)"},{"key":"27_CR6","doi-asserted-by":"crossref","unstructured":"Joshi, S., Prasad, S.: An Operational Model for Multiprocessors with Caches. Technical report, Indian Institute of Technology Delhi (2010), http:\/\/cse.iitd.ac.in\/~sanjiva\/OpCache.pdf","DOI":"10.1007\/978-3-642-15240-5_27"},{"issue":"28","key":"27_CR7","doi-asserted-by":"publisher","first-page":"690","DOI":"10.1109\/TC.1979.1675439","volume":"100","author":"L. Lamport","year":"1979","unstructured":"Lamport, L.: How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs. IEEE Transactions on Computers\u00a0100(28), 690\u2013691 (1979)","journal-title":"IEEE Transactions on Computers"},{"key":"27_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1007\/978-3-642-03359-9_27","volume-title":"TPHOL 2009","author":"S. Owens","year":"2009","unstructured":"Owens, S., Sarkar, S., Sewell, P.: A Better x86 Memory Model: x86-TSO. In: Berghofer, S., Nipkow, T., Urban, C., Wenzel, M. (eds.) TPHOL 2009. LNCS, vol.\u00a05674, pp. 391\u2013407. Springer, Heidelberg (2009)"},{"issue":"1","key":"27_CR9","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1145\/1594834.1480929","volume":"44","author":"S. Sarkar","year":"2009","unstructured":"Sarkar, S., Sewell, P., Nardelli, F.Z., Owens, S., Ridge, T., Braibant, T., Myreen, M.O., Alglave, J.: The semantics of x86-CC multiprocessor machine code. ACM SIGPLAN Notices\u00a044(1), 379\u2013391 (2009)","journal-title":"ACM SIGPLAN Notices"},{"key":"27_CR10","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1006\/inco.1994.1093","volume":"115","author":"A.K. Wright","year":"1992","unstructured":"Wright, A.K., Felleisen, M.: A Syntactic Approach to Type Soundness. Information and Computation\u00a0115, 38\u201394 (1992)","journal-title":"Information and Computation"}],"container-title":["IFIP Advances in Information and Communication Technology","Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15240-5_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T03:03:22Z","timestamp":1606187002000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15240-5_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642152399","9783642152405"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15240-5_27","relation":{},"ISSN":["1868-4238","1861-2288"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1861-2288"}],"subject":[],"published":{"date-parts":[[2010]]}}}