{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:02:26Z","timestamp":1725663746509},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540551607"},{"type":"electronic","value":"9783540467625"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55160-3_30","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T09:49:22Z","timestamp":1330249762000},"page":"6-20","source":"Crossref","is-referenced-by-count":0,"title":["UNITY to UC: A case study in the derivation of parallel programs"],"prefix":"10.1007","author":[{"given":"Indranil","family":"Chakravarty","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Kleyn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas Y. C.","family":"Woo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rajive","family":"Bagrodia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vernon","family":"Austel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"issue":"4","key":"2_CR1","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1109\/MS.1985.231370","volume":"2","author":"J. R. Allen","year":"1985","unstructured":"J. R. Allen and K. Kennedy, \u201cA Parallel Programming Environment\u201d, IEEE Software, 2:4, 22\u201329, July, (1985)","journal-title":"IEEE Software"},{"key":"2_CR2","unstructured":"R. Bagrodia, K.M. Chandy and E. Kwan, UC: A Language for the Connection Machine, Supercomputing '90, New York, NY, November, (1990), 525\u2013534"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"R. Bagrodia and S. Mathur, Efficient Implementation of High-Level Parallel Programs, ASPLOS-IV, April (1991)","DOI":"10.1145\/106972.376053"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"J.C. Browne, M. Azam and S. Sobek, \u201cThe Computationally Oriented Display Environment (CODE) \u2014 A Unified Approach to Parallel Programming\u201d, IEEE Software, July, 1989)","DOI":"10.1109\/52.31648"},{"key":"2_CR5","unstructured":"I. Chakravarty, M. Kleyn, T. Woo, R. Bagrodia and V. Austel, UNITY to UC: Case Studies in Parallel Program Construction, Schlumberger Laboratory for Computer Science, TR-90-21, November, (1990)"},{"key":"2_CR6","volume-title":"Parallel Program Design \u2014 A Foundation","author":"K. M. Chandy","year":"1989","unstructured":"K. M. Chandy and J. Misra, Parallel Program Design \u2014 A Foundation, Addison Wesley, Reading, MA, (1989)"},{"key":"2_CR7","unstructured":"Marina C. Chen, Very-high-level Parallel Programming in Crystal, Yale University,Dec, 1986, YALEU\/DCS\/RR-506"},{"key":"2_CR8","unstructured":"Connection Machine Fortran, Thinking Machines Corporation, Cambridge, MA (1989)"},{"key":"2_CR9","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Robin Milner, Communication and Concurrency, Prentice Hall, Englewood Cliffs, New Jersey, (1989)"},{"key":"2_CR10","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1145\/78942.78945","volume":"12","author":"E. Knapp","year":"1990","unstructured":"Edgar Knapp, An Excercise in the Formal Derivation of Parallel Programs: Maximum Flows in Graphs, ACM Transactions on Programming Languages and Systems, 12: 2, April, (1990) 203\u2013223","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"9","key":"2_CR11","doi-asserted-by":"crossref","first-page":"5686","DOI":"10.1103\/PhysRevB.27.5686","volume":"27","author":"T.A. Witten","year":"1983","unstructured":"T.A. Witten and L.M. Sander, Diffusion Limited Aggregation, Physical Review, 27:9, (1983)5686\u20135697","journal-title":"Physical Review"}],"container-title":["Lecture Notes in Computer Science","Reasearch Directions in High-Level Parallel Programming Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55160-3_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:57:46Z","timestamp":1605646666000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55160-3_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540551607","9783540467625"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-55160-3_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}