{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:57:59Z","timestamp":1725523079948},"reference-count":20,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icppw.2002.1039754","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T19:34:26Z","timestamp":1056569666000},"page":"375-382","source":"Crossref","is-referenced-by-count":1,"title":["Specifying synchronization in distributed shared memory programs"],"prefix":"10.1109","author":[{"given":"G.","family":"Singh","sequence":"first","affiliation":[]}],"member":"263","reference":[{"journal-title":"Cache Consistency and Sequential Consistency","year":"1989","author":"goodman","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.1990.89297"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1145\/146628.139676","article-title":"Lazy release consistency for software distributed shared memory","author":"keleher","year":"1992","journal-title":"International Symposium on Computer Architecture"},{"key":"ref13","article-title":"Aspect-oriented programming","author":"kiczales","year":"1997","journal-title":"Proc European Conf Object Oriented Programming (ECOOP 97) LNCS 1241"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1979.1675439"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/75104.75105"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1007\/3-540-60042-6_16","article-title":"Sequential consistency in distributed systems - theory and practice","author":"mizuno","year":"1995","journal-title":"LNCS 938 Theory and Practice in Distributed Systems"},{"journal-title":"PSANS Protocol Stack Network Simulator User Manual","year":"1999","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/FTDCS.1993.344136"},{"journal-title":"SAVES Specification Synthsis and Verification of Embedded Systems","year":"2001","key":"ref19"},{"key":"ref4","first-page":"679","article-title":"A correctness condition for high-performance multiprocessors","author":"attiya","year":"1992","journal-title":"ACM Symposium on Theory of Computing"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/93385.93441"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.1991.148677"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1145\/325096.325100","article-title":"Weak ordering - a new definition","author":"adve","year":"1990","journal-title":"International Symposium on Computer Architecture"},{"journal-title":"Midway Shared memory parallel programming with entry consistency for distributed memory multiprocessors","year":"1991","author":"bershad","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/BF01783663"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/72935.72958"},{"key":"ref1","first-page":"9","article-title":"Causal memory","author":"ahamad","year":"1991","journal-title":"5th WDAG LNCS 579"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.1990.134503"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/30350.30377"}],"event":{"name":"International Conference on Parallel Processing Workshop","acronym":"ICPPW-02","location":"Vancouver, BC, Canada"},"container-title":["Proceedings. International Conference on Parallel Processing Workshop"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8062\/22290\/01039754.pdf?arnumber=1039754","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T18:44:50Z","timestamp":1497552290000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1039754\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/icppw.2002.1039754","relation":{},"subject":[]}}