{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:30:50Z","timestamp":1725460250390},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540573968"},{"type":"electronic","value":"9783540481331"}],"license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/bfb0018654","type":"book-chapter","created":{"date-parts":[[2006,2,17]],"date-time":"2006-02-17T06:24:01Z","timestamp":1140157441000},"page":"205-232","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Managing side effects on shared data"],"prefix":"10.1007","author":[{"given":"Kinson","family":"Ho","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul N.","family":"Hilfinger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"11_CR1","volume-title":"PhD thesis","author":"P. S. Barth","year":"1992","unstructured":"Paul S. Barth. Atomic Data Structures for Parallel Computing. PhD thesis, MIT Laboratory for Computer Science, Cambridge, MA, March 1992."},{"key":"11_CR2","volume-title":"PhD thesis","author":"A. A. Chien","year":"1990","unstructured":"Andrew Andai Chien. Concurrent Aggregates(CA): An Object-Oriented Language for Fine-Grained Message-Passing Machines. PhD thesis, MIT Artificial Intelligence Laboratory, Cambridge, MA, July 1990."},{"key":"11_CR3","volume-title":"Research Notes in Artificial Intelligence","author":"H. W. Guesgen","year":"1989","unstructured":"Hans Werner Guesgen. CONSAT: A System for Constraint Satisfaction. Research Notes in Artificial Intelligence. Morgan Kaufmann, San Mateo, CA, 1989."},{"issue":"4","key":"11_CR4","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1145\/4472.4478","volume":"7","author":"R. H. Halstead Jr.","year":"1985","unstructured":"Robert H. Halstead, Jr. Multilisp: A language for concurrent symbolic computation. ACM Transactions on Programming Languages and Systems, 7(4):501\u2013538, October 1985.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"6","key":"11_CR5","doi-asserted-by":"crossref","first-page":"459","DOI":"10.1007\/BF01407410","volume":"15","author":"R. H. Halstead Jr.","year":"1986","unstructured":"Robert H. Halstead, Jr. An assessment of Multilisp: Lessons from experience. International Journal of Parallel Processing, 15(6):459\u2013501, 1986.","journal-title":"International Journal of Parallel Processing"},{"key":"11_CR6","volume-title":"Technical Report CRL 91\/10","author":"M. Herlihy","year":"1991","unstructured":"Maurice Herlihy. A methodology for implementing highly concurrent data objects. Technical Report CRL 91\/10, Digital Equipment Corporation Cambridge Research Laboratory, Cambridge, MA, October 1991."},{"key":"11_CR7","volume-title":"PhD thesis","author":"K. Ho","year":"1993","unstructured":"Kinson Ho. High-level Abstractions for Symbolic Parallel Programming. PhD thesis, Computer Science Division (EECS), University of California, Berkeley, CA, 1993. To appear."},{"key":"11_CR8","unstructured":"Kinson Ho, Paul N. Hilfinger, and Hans W. Guesgen. Optimistic discrete parallel relaxation. In Proceedings of the 13th International Joint Conference on Artificial Intelligence, page ??, Chambery, Savoie, France, August 1993. To appear."},{"key":"11_CR9","first-page":"17","volume":"II","author":"L. V. Kale","year":"1990","unstructured":"L. V. Kale. The Chare Kernel parallel programming language and system. In The Proceedings of the International Conference on Parallel Processing, volume II, pages 17\u201325, St. Charles, IL, August 1990.","journal-title":"The Proceedings of the International Conference on Parallel Processing"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"B. W. Lampson and D. D. Redell. Experience with processes and monitors in Mesa. Communications of the ACM, 23(2), February 1980.","DOI":"10.1145\/358818.358824"},{"key":"11_CR11","volume-title":"PhD thesis","author":"J. R. Larus","year":"1989","unstructured":"James R. Larus. Restructuring Symbolic Programs for Concurrent Execution on Multiprocessors. PhD thesis, Computer Science Division (EECS), University of California, Berkeley, CA, May 1989."},{"issue":"6","key":"11_CR12","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/2.214440","volume":"26","author":"M. C. Rinard","year":"1993","unstructured":"Martic C. Rinard, Daniel J. Scales, and Monica S. Lam. Jade: A high-level, machine-independent language for parallel programming. IEEE Computer, 26(6):28\u201338, June 1993.","journal-title":"IEEE Computer"},{"issue":"1","key":"11_CR13","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1145\/2465.2467","volume":"28","author":"C. L. Seitz","year":"1985","unstructured":"Charles L. Seitz. The Cosmic Cube. Communications of the ACM, 28(1):22\u201333, January 1985.","journal-title":"Communications of the ACM"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Guy L. Steele Jr. Making asynchronous parallelism safe for the world. In Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, pages 218\u2013231, San Francisco, CA, January 1990.","DOI":"10.1145\/96709.96731"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Edward Wang and Paul N. Hilfinger. Analysis of recursive types in Lisp-like languages. In Proceedings of the 1992 ACM Conference on Lisp and Functional Programming, pages 216\u2013225, San Francisco, CA, June 1992.","DOI":"10.1145\/141478.141544"},{"key":"11_CR16","volume-title":"Technical Report CMU-CS-90-151","author":"J. M. Wing","year":"1990","unstructured":"Jeannette M. Wing and Chun Gong. A library of concurrent objects and their proofs of correctness. Technical Report CMU-CS-90-151, School of Computer Science, Carnegie-Mellon University, Pittsburgh, PA, July 1990."},{"key":"11_CR17","volume-title":"PhD thesis","author":"K. A. Yelick","year":"1991","unstructured":"Katherine Anne Yelick. Using Abstraction in Explicitly Parallel Programs. PhD thesis, MIT Laboratory for Computer Science, Cambridge, MA, July 1991."},{"issue":"4","key":"11_CR18","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/52.31651","volume":"6","author":"B. Zorn","year":"1989","unstructured":"Benjamin Zorn, Kinson Ho, James Larus, Luigi Semenzato, and Paul Hilfinger. Multiprocessing extensions in SPUR Lisp. IEEE Software, 6(4):41\u201349, July 1989.","journal-title":"IEEE Software"}],"container-title":["Lecture Notes in Computer Science","Parallel Symbolic Computing: Languages, Systems, and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0018654","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,29]],"date-time":"2020-01-29T17:29:41Z","timestamp":1580318981000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0018654"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540573968","9783540481331"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/bfb0018654","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]},"assertion":[{"value":"31 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}