{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:36:25Z","timestamp":1750307785291,"version":"3.41.0"},"reference-count":28,"publisher":"Association for Computing Machinery (ACM)","issue":"6","license":[{"start":{"date-parts":[[2007,12,1]],"date-time":"2007-12-01T00:00:00Z","timestamp":1196467200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["J. ACM"],"published-print":{"date-parts":[[2007,12]]},"abstract":"<jats:p>A shared variable is an abstraction of persistent interprocess communication. Processors execute operations, often concurrently, on shared variables to exchange information among themselves. The behavior of operation executions is required to be \u201cconsistent\u201d for effective interprocess communication. Consequently, a consistency specification of a shared variable describes some guarantees on the behavior of the operation executions. A Read\/Write shared variable has two operations: a Write stores a specified value in the variable and a Read returns a value from the variable. For Read\/Write variables, a consistency specification describes what values Reads may return. Using an intuitive notion of illegality of Reads, we propose a framework that facilitates specifying a large variety of Read\/Write variables.<\/jats:p>","DOI":"10.1145\/1314690.1314695","type":"journal-article","created":{"date-parts":[[2007,12,7]],"date-time":"2007-12-07T19:19:01Z","timestamp":1197055141000},"page":"31","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["On specification of Read\/Write shared variables"],"prefix":"10.1145","volume":"54","author":[{"given":"Sibsankar","family":"Haldar","sequence":"first","affiliation":[{"name":"Motorola, Inc., Sunnyvale, California"}]},{"given":"K.","family":"Vidyasankar","sequence":"additional","affiliation":[{"name":"Memorial University of Newfoundland, St. John's, Newfoundland, Canada"}]}],"member":"320","published-online":{"date-parts":[[2007,12]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"Abraham U. and Ben-David S. 1987. Informal and formal correctness proofs for programs (for the critical section problem). Unpublished manuscript. (Also available at http\/\/www.cs.bgu.ac.il\/~abraham\/concurrency.html.).  Abraham U. and Ben-David S. 1987. Informal and formal correctness proofs for programs (for the critical section problem). Unpublished manuscript. (Also available at http\/\/www.cs.bgu.ac.il\/~abraham\/concurrency.html.)."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/197917.197967"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01784241"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/65979.65982"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/165231.165263"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/129712.129778"},{"volume":"338","volume-title":"Proceedings of Foundations of Software Technology and Theoretical Computer Science. Lecture Notes in Computer Science","author":"Awerbuch B.","key":"e_1_2_1_7_1"},{"volume-title":"Proceedings of the 3rd International Euro-Par Conference. 468--475","author":"Bataller J.","key":"e_1_2_1_8_1"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/62546.62583"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0129626499000141"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s002360050040"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/78969.78972"},{"volume-title":"Proceedings of the 10th International Conference on Distributed Computing Systems. 302--309","author":"Hutto P.","key":"e_1_2_1_14_1"},{"key":"e_1_2_1_15_1","unstructured":"Kirousis L. and Kranakis E. 1989. A brief survey of concurrent readers and writers. CWI Quarterly 2.  Kirousis L. and Kranakis E. 1989. A brief survey of concurrent readers and writers. CWI Quarterly 2."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1979.1675439"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/357062.357068"},{"volume-title":"Proceedings of the 21st International Conference of Distributed Computing Systems. 21--30","author":"Lee H.","key":"e_1_2_1_19_1"},{"volume-title":"Pram: A scalable shared memory. Tech. Rep. 180-88, Department of Computer Science","year":"1988","author":"Lipton R.","key":"e_1_2_1_20_1"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/5001.5007"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00268134"},{"volume-title":"Proceedings of the 28th IEEE Symposium on Foundations of Computer Science. IEEE Computer Society Press","author":"Peterson G.","key":"e_1_2_1_23_1"},{"volume":"1026","volume-title":"Proceedings of Foundations of Software Technology and Theoretical Computer Science. Lecture Notes in Computer Science","author":"Raynal M.","key":"e_1_2_1_24_1"},{"volume-title":"Proceedings of the 9th IEEE Conference of Parallel and Distributed Computing Systems, IEEE Computer Society Press","author":"Raynal M.","key":"e_1_2_1_25_1"},{"volume":"2848","volume-title":"L 2003. Multi-writer consistency conditions for shared memory objects. In Proceedings of the 17th International Conference on Distributed Computing (DISC 2003)","author":"Shao C.","key":"e_1_2_1_26_1"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.1995.1060"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1017460.1017464"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/301308.301350"},{"volume-title":"Proceedings of Foundations of Software Technology and Theoretical Computer Science","series-title":"Lecture Notes in Computer Science","author":"Vidyasankar K.","key":"e_1_2_1_30_1"}],"container-title":["Journal of the ACM"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1314690.1314695","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1314690.1314695","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:56:11Z","timestamp":1750254971000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1314690.1314695"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,12]]},"references-count":28,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2007,12]]}},"alternative-id":["10.1145\/1314690.1314695"],"URL":"https:\/\/doi.org\/10.1145\/1314690.1314695","relation":{},"ISSN":["0004-5411","1557-735X"],"issn-type":[{"type":"print","value":"0004-5411"},{"type":"electronic","value":"1557-735X"}],"subject":[],"published":{"date-parts":[[2007,12]]},"assertion":[{"value":"2007-12-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}