{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T05:41:43Z","timestamp":1743140503198,"version":"3.40.3"},"publisher-location":"London","reference-count":20,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198864"},{"type":"electronic","value":"9781447132400"}],"license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/978-1-4471-3240-0_11","type":"book-chapter","created":{"date-parts":[[2011,12,28]],"date-time":"2011-12-28T05:22:09Z","timestamp":1325049729000},"page":"205-216","source":"Crossref","is-referenced-by-count":4,"title":["Laws of Parallel Programming with Shared Variables"],"prefix":"10.1007","author":[{"given":"Qiwen","family":"Xu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jifeng","family":"He","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","volume-title":"Proc. of the Workshop on Stepwise Refinement of Distributed Systems","author":"M Abadi","year":"1989","unstructured":"M. Abadi and L. Lamport. Composing specifications. In Proc. of the REX Workshop on Stepwise Refinement of Distributed Systems, models, formalisms, correctness. LNCS 430, Springer-Verlag, 1989."},{"key":"11_CR2","volume-title":"Manuscript","author":"RJR Back","year":"1993","unstructured":"R.J.R. Back and B. Jonsson. Fully abstract semantic ordering for shared\u2014variable concurrent programs. Manuscript, 1993."},{"key":"11_CR3","volume-title":"Cambridge University Press","author":"JCM Baeten","year":"1990","unstructured":"J.C.M. Baeten and W.P. Weijland. Process Algebra. Cambridge University Press, 1990."},{"key":"11_CR4","first-page":"193","volume-title":"Proc. of Logics of Programs","author":"SD Brookes","year":"1985","unstructured":"S.D. Brookes. An axiomatic treatment of a parallel programming language. In R. Parikh, editor, Proc. of Logics of Programs, LNCS 193, 1985."},{"key":"11_CR5","volume-title":"Proc. 8th Int. Symp. on Logic in Computer Science","author":"SD Brookes","year":"1993","unstructured":"S.D. Brookes. Full abstraction for a shared variable parallel language. In Proc. 8th IEEE Int. Symp. on Logic in Computer Science, 1993."},{"key":"11_CR6","volume-title":"Normal form approach to implementation of occam","author":"H Jifeng","year":"1992","unstructured":"He Jifeng, I. Page and J. Bowen. Normal form approach to FPGA implementation of occam. Report, ESPRIT Basic Research Actions ProCoS 1992."},{"key":"11_CR7","volume-title":"Introduction of hybrid parallel programming","author":"H Jifeng","year":"1992","unstructured":"He Jifeng. Introduction of hybrid parallel programming. Report, ESPRIT Basic Research Actions ProCoS 1992."},{"key":"11_CR8","volume-title":"Algebraic semantics of shared variable con currency","author":"H Jifeng","year":"1991","unstructured":"He Jifeng and Xu Qiwen. Algebraic semantics of shared variable con-currency. Report, ESPRIT Basic Research Actions ProCoS 1991."},{"key":"11_CR9","volume-title":"Communicating Sequential Processes","author":"CAR Hoare","year":"1985","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall, London. 1985."},{"issue":"8","key":"11_CR10","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/27651.27653","volume":"30","author":"CAR Hoare","year":"1987","unstructured":"C.A.R. Hoare et al. Laws of programming. Commun. ACM\n                           30, 8 672\u2013686 1987.","journal-title":"Commun. Acm"},{"key":"11_CR11","volume-title":"Oxford University Computing Laboratory","author":"CB Jones","year":"1981","unstructured":"C.B. Jones. Development methods for computer programs including a notion of interference. Dphil. Thesis, Oxford University Computing Laboratory, 1981."},{"key":"11_CR12","unstructured":"C.B. Jones. Interference resumed. in P. Bailes, editor, Australian Software Engineering Research 1991."},{"key":"11_CR13","volume-title":"Digital System Research Center","author":"L Lamport","year":"1989","unstructured":"L. Lamport and F.B. Schneider. Pretending atomicity. Research report 29, Digital System Research Center 1989."},{"key":"11_CR14","volume-title":"Prentice Hall International Series in Computer Science","author":"R Milner","year":"1989","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall International Series in Computer Science, 1989."},{"key":"11_CR15","volume-title":"Springer Verlag","author":"S Owicki","year":"1976","unstructured":"S. Owicki and D. Gries. An axiomatic proof technique for parallel programs Acta Inform. 6 319\u2013340 Springer-Verlag 1976."},{"key":"11_CR16","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/0304-3975(88)90033-3","volume":"58","author":"C Stirling","year":"1988","unstructured":"C. Stirling. A generalization of Owicki-Gries\u2019s Hoare logic for a concur- rent while language. Theoretical Computer Science 58 347\u2013359 1988.","journal-title":"Theoretical Computer Science"},{"key":"11_CR17","volume-title":"Development of Parallel Programs on Shared Data structures","author":"K Stolen","year":"1990","unstructured":"K. Stolen. Development of Parallel Programs on Shared Data-structures. Ph.D Thesis, Computer Science Department, Manchester University, 1990."},{"key":"11_CR18","volume-title":"J.C.M. Baeten and J.F. Groote, editors, Proceedings of CONCUR 91, LNCS 527, Springer-Verlag","author":"K Stolen","year":"1991","unstructured":"K. Stolen. A method for the development of totally correct shared-state parallel programs. In J.C.M. Baeten and J.F. Groote, editors, Proceedings of CONCUR\n                           91, LNCS 527, Springer-Verlag, 1991."},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"Xu Qiwen and He Jifeng. A theory of state-based parallel programming: Part 1. in J. Morris, editor, Proceedings BCS FACS 4th Refinement Workshop January 1991, Cambridge, 326\u2013359 Springer-Verlag.","DOI":"10.1007\/978-1-4471-3756-6_15"},{"key":"11_CR20","volume-title":"A theory of state-based parallel programming","author":"X Qiwen","year":"1992","unstructured":"Xu Qiwen. A theory of state-based parallel programming. DPhil. Thesis, Oxford University Computing Laboratory, 1992."}],"container-title":["Workshops in Computing","6th Refinement Workshop"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3240-0_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,7]],"date-time":"2023-02-07T05:53:25Z","timestamp":1675749205000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4471-3240-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540198864","9781447132400"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3240-0_11","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1994]]}}}