{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,22]],"date-time":"2026-01-22T00:34:43Z","timestamp":1769042083973,"version":"3.49.0"},"reference-count":21,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2003,5,1]],"date-time":"2003-05-01T00:00:00Z","timestamp":1051747200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Parallel Distrib. Syst."],"published-print":{"date-parts":[[2003,5]]},"DOI":"10.1109\/tpds.2003.1199067","type":"journal-article","created":{"date-parts":[[2003,5,22]],"date-time":"2003-05-22T14:08:03Z","timestamp":1053612483000},"page":"502-515","source":"Crossref","is-referenced-by-count":31,"title":["Information-flow models for shared memory with an application to the powerPC architecture"],"prefix":"10.1109","volume":"14","author":[{"given":"A.","family":"Adir","sequence":"first","affiliation":[]},{"given":"H.","family":"Attiya","sequence":"additional","affiliation":[]},{"given":"G.","family":"Shurek","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref1","year":"1990","journal-title":"Enterprise Systems Architecture\/390 Principles of Operation"},{"key":"ref2","article-title":"Designing Memory Consistency Models for Shared-Memory Multiprocessors","author":"Adve","year":"1993"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/325164.325100"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/5.747865"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/71.242161"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/6513.6514"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539794278396"},{"key":"ref8","first-page":"157","article-title":"Programming DEC-Alpha Based Multiprocessors the Easy Way","volume-title":"Proc. Sixth ACM Symp. Parallel Algorithms and Architectures","author":"Attiya"},{"key":"ref9","volume-title":"Reasoning About Parallel Architectures","author":"Collier","year":"1992"},{"key":"ref10","article-title":"A Formal Specification of the PowerPC Shared Memory Architecture","author":"Corella","year":"1993"},{"key":"ref11","author":"Cypher","year":"1995","journal-title":"Example of a PowerPC Execution that Violates the Intended Function of the Sync Command"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/32.55094"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/isca.1990.134503"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.1990.134503"},{"key":"ref15","article-title":"Proving Sequential Consistency of High Performance Shared Memories","volume-title":"Proc. ACM Symp. Parallel Algorithms and Architectures (SPAA)","author":"Gibbons"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/2.707614"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1979.1675439"},{"key":"ref18","author":"May","year":"1994","journal-title":"The PowerPC Architecture"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.1999.765947"},{"key":"ref20","author":"Site","year":"1992","journal-title":"Alpha Architecture Reference Manual"},{"key":"ref21","article-title":"A Program that Distinguishes between the IBM PowerPC and the DEC Alpha Memory Models","author":"Stone","year":"1993"}],"container-title":["IEEE Transactions on Parallel and Distributed Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/71\/26992\/01199067.pdf?arnumber=1199067","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,16]],"date-time":"2025-03-16T04:39:22Z","timestamp":1742099962000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1199067\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,5]]},"references-count":21,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2003,5]]}},"URL":"https:\/\/doi.org\/10.1109\/tpds.2003.1199067","relation":{},"ISSN":["1045-9219"],"issn-type":[{"value":"1045-9219","type":"print"}],"subject":[],"published":{"date-parts":[[2003,5]]}}}