{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T14:17:57Z","timestamp":1742393877841},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540575023"},{"type":"electronic","value":"9783540482017"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57502-2_44","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:04:12Z","timestamp":1330261452000},"page":"124-144","source":"Crossref","is-referenced-by-count":16,"title":["Compositional C++: Compositional parallel programming"],"prefix":"10.1007","author":[{"given":"K. Mani","family":"Chandy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Kesselman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"issue":"2","key":"9_CR1","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1109\/MC.1982.1653938","volume":"15","author":"W. B. Ackerman","year":"1982","unstructured":"William B. Ackerman. Data flow languages. Computer, 15(2):15\u201325, February 1982.","journal-title":"Computer"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Gul Agha. ACTORS: A Model of Concurrent Computation in Distributed Systems. MIT Press, 1986.","DOI":"10.7551\/mitpress\/1086.001.0001"},{"key":"9_CR3","unstructured":"Arvind and R.E. Thomas. I-Structures: An efficient data structure for functional languages. Technical Report TM-178, MIT, 1980."},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"William C. Athas and C.L. Seitz. Multicomputer: Message-passing concurrent computers. IEEE Computer, August 1988.","DOI":"10.1109\/2.73"},{"issue":"8","key":"9_CR5","first-page":"713","volume":"18","author":"B. Bershad","year":"1988","unstructured":"Brian Bershad, Edward Lazowska, and Henry Levy. Presto: A system of objectoriented parallel programming. Software: Practice and Experience, 18(8):713\u2013732, August 1988.","journal-title":"Software: Practice and Experience"},{"key":"9_CR6","unstructured":"Ulla Binau. Real good stuff in CC++. Technical Report Caltech-CS-TR-92-11, California Institute of Technology, 1992."},{"key":"9_CR7","unstructured":"Grady Booch. Object Oriented Design with Applications. The Benjamin\/Cummings Publishing Company, Inc, 1991."},{"key":"9_CR8","unstructured":"K. Mani Chandy and Carl Kesselman. The CC++ language definition. Technical Report Caltech-CS-TR-92-02, California Institute of Technology, 1992."},{"key":"9_CR9","unstructured":"K. Mani Chandy and Carl Kesselman. The derivation of compositional programs. In Proceedings of the 1992 Joint International Conference and Symposium on Logic Programming. MIT Press, 1992."},{"key":"9_CR10","unstructured":"K. Mani Chandy and Carl Kesselman. Mutual exclusion in a token ring in CC++: Program and proof. Technical Report Caltech-CS-TR-92-01, California Institute of Technology, 1992."},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"K. Mani Chandy and Jayadev Misra. Parallel Program Design: A Foundation. Addison-Wesley, 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"9_CR12","unstructured":"K. Mani Chandy and Stephen Taylor. An Introduction to Parallel Programming. Bartlett and Jones, 1991."},{"key":"9_CR13","unstructured":"Margaret A. Ellis and Bjarne Stroustrup. The Annotated C++ Reference Manual. Addison-Wesley, 1990."},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Ian Foster. Information hiding in parallel programs. Technical Report MCS-P290-0292, Argonne National Laboratory, 1992.","DOI":"10.2172\/10133018"},{"key":"9_CR15","unstructured":"Ian Foster and Stephen Taylor. STRAND: New Concepts in Parallel Programming. Prentice Hall, 1989."},{"key":"9_CR16","unstructured":"Andrew S. Grimshaw. An introduction to parallel object-oriented programming with Mentat. Computer Science Report TR-91-07, University of Virginia, 1991."},{"key":"9_CR17","unstructured":"Carl E. Hewitt and Henry Baker. Actors and continuous functionals. In Proceedings IFIP Working Conference on Formal Description of Programming Concepts, pages 367\u2013387, August 1977."},{"issue":"2","key":"9_CR18","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1109\/MC.1982.1653942","volume":"15","author":"D. Kuck","year":"1982","unstructured":"David Kuck, Daniel Gajski, et al. A second opinion on data flow machines and languages. Computer, 15(2):58\u201369, February 1982.","journal-title":"Computer"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Max Lemke and Daniel Quinlan. P++, a C++ virtual shared grids based programming environment for architecture-independent development of structured grid applications. Arbeitspapiere der GMD 611, Gesellschaft F\u00fcr Mathematik und Datenverarbeitung MBH, February 1992.","DOI":"10.1007\/3-540-55895-0_406"},{"key":"9_CR20","unstructured":"J. McGraw et al. SISAL: Streams and iteration in a single assignment language, language reference manual, version 1.2. Technical Report M-146, LLNL, March 1985."},{"key":"9_CR21","unstructured":"Jayadev Misra. Personal Communication, 1992."},{"issue":"1","key":"9_CR22","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1007\/BF00268134","volume":"6","author":"S. Owicki","year":"1976","unstructured":"S. Owicki and D. Gries. An axiomatic proof technique for parallel programs I. Acta Informatica, 6(1):319\u2013340, 1976.","journal-title":"Acta Informatica"},{"key":"9_CR23","unstructured":"Amir Pnueli. Personal Communication, 1992."},{"key":"9_CR24","unstructured":"Bjarne Stroustrup. The C++ Programming Language. Addison Wesley, second edition edition, 1991."},{"key":"9_CR25","unstructured":"Bjarne Stroustrup and Jonathan Shopiro. A set of C++ classes for co-routine style programming. In Proceedings of the USENIX C++ Workshop, November 1987."},{"key":"9_CR26","unstructured":"Andrew A. Chien Waldemar Horwat and William J. Dally. Experience with CST: Programming and implementation. In SIGPLAN 89 Conference on Programming Language Design and Implementation, 1989."}],"container-title":["Lecture Notes in Computer Science","Languages and Compilers for Parallel Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57502-2_44.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:05:41Z","timestamp":1619571941000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57502-2_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540575023","9783540482017"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-57502-2_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}