{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,4]],"date-time":"2025-12-04T09:46:12Z","timestamp":1764841572500},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2007,7,14]],"date-time":"2007-07-14T00:00:00Z","timestamp":1184371200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Parallel Prog"],"published-print":{"date-parts":[[2007,8]]},"DOI":"10.1007\/s10766-007-0051-4","type":"journal-article","created":{"date-parts":[[2007,7,17]],"date-time":"2007-07-17T02:07:24Z","timestamp":1184638044000},"page":"335-392","source":"Crossref","is-referenced-by-count":11,"title":["Complete Formal Specification of the OpenMP Memory Model"],"prefix":"10.1007","volume":"35","author":[{"given":"Greg","family":"Bronevetsky","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bronis R.","family":"de Supinski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,7,14]]},"reference":[{"key":"51_CR1","unstructured":"OpenMP Architecture Review Board, OpenMP Application Program Interface, version 2.5."},{"key":"51_CR2","unstructured":"A. Robinson and A. Voronkov (Eds.), Handbook of Automated Reasoning, Elsevier Science and the MIT Press, Amsterdam, The Netherlands (2000)."},{"issue":"2","key":"51_CR3","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1023\/A:1022969405325","volume":"22","author":"R. Joshi","year":"2003","unstructured":"Joshi R., Lamport L., Matthews J., Tasiran S., Tuttle M., Yu Y. (2003) Checking Cache-coherence Protocols with TLA+. Formal Methods Syst. Des. 22(2):125\u2013131","journal-title":"Formal Methods Syst. Des."},{"key":"51_CR4","doi-asserted-by":"crossref","unstructured":"J. Manson, W. Pugh, and S. V. Adve, The Java Memory Model, in Proceedings of the Symposium on Principles of Programming Laguages (POPL 2005), Long Beach, California, USA.","DOI":"10.1145\/1040305.1040336"},{"key":"51_CR5","unstructured":"W. W. Collier, Reasoning About Parallel Architectures, Prentice Hall, Englewood Cliffs, New Jersey, USA."},{"key":"51_CR6","unstructured":"J. P. Hoeflinger and B. R. de Supinski, The OpenMP Memory Model, First International Workshop on OpenMP (IWOMP 2005), Eugene, OR, June 1\u20134, 2005. (UCRL-CONF-212641*)."},{"key":"51_CR7","unstructured":"G. Bronevetsky and B. R. de Supinski, Formal Specification of the OpenMP Memory Model, Second International Workshop on OpenMP (IWOMP 2006), Reims, France, June 12\u201315, 2006. (UCRL-CONF-221452*)."},{"key":"51_CR8","doi-asserted-by":"crossref","unstructured":"M. Dubois, C. Scheurich, and F. Briggs, Memory Access Buffering in Multiprocessors, in Proceedings of the 13th Annual International Symposium on Computer Architecture (ISCA), Tokyo, Japan, pp. 434\u2013442 (1986).","DOI":"10.1145\/17356.17406"},{"key":"51_CR9","unstructured":"J. R. Goodman, Cache Consistency and Sequential Consistency, Technical Report 61, SCI Committee (1989)."},{"key":"51_CR10","unstructured":"L. Lamport, Fairness and Hyperfairness, Technical Report 152 (1998)."}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-007-0051-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10766-007-0051-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-007-0051-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T23:59:25Z","timestamp":1559260765000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10766-007-0051-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7,14]]},"references-count":10,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2007,8]]}},"alternative-id":["51"],"URL":"https:\/\/doi.org\/10.1007\/s10766-007-0051-4","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"value":"0885-7458","type":"print"},{"value":"1573-7640","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,7,14]]}}}