{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:37Z","timestamp":1725663397008},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540555995"},{"type":"electronic","value":"9783540472506"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55599-4_78","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:15:54Z","timestamp":1330251354000},"page":"19-36","source":"Crossref","is-referenced-by-count":0,"title":["A decompositional approach to the design of efficient parallel programs"],"prefix":"10.1007","author":[{"given":"Ying","family":"Liu","sequence":"first","affiliation":[]},{"given":"Ambuj K.","family":"Singh","sequence":"additional","affiliation":[]},{"given":"Rajive L.","family":"Bagrodia","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,7,14]]},"reference":[{"key":"2_CR1","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/0167-6423(90)90069-P","volume":"13","author":"R. J. R. Back","year":"1989\u201390","unstructured":"Back, R. J. R., and K. Sere, Stepwise Refinement of Parallel Algorithms, Science of Computer Programming, 13, 1989\u201390, pp. 133\u2013180.","journal-title":"Science of Computer Programming"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Bagrodia, R., K. M. Chandy, and E. Kwan, UC: A Language for the Connection Machine, Proceedings of Supercomputing 1990, November 1990, pp. 525\u2013534.","DOI":"10.1109\/SUPERC.1990.130064"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Bagrodia, R., and S. Mathur, Efficient Implementation of High-Level Parallel Programs, Proceedings of ASPLOS-IV, April 1991.","DOI":"10.1145\/106972.376053"},{"key":"2_CR4","unstructured":"Chakravarty, I., M. Kleyn, T. Woo, R. Bagrodia, and V. Austel, Unity to UC: Case Studies in Parallel Program Construction, Technical Report TR-90-21, Schlumberger Laboratory for Computer Science, November 1990."},{"key":"2_CR5","volume-title":"Parallel Program Design: A Foundation","author":"K. M. Chandy","year":"1988","unstructured":"Chandy, K. M., and J. Misra, Parallel Program Design: A Foundation, Reading, Massachusetts: Addison-Wesley, 1988."},{"key":"2_CR6","volume-title":"A Discipline of Programming","author":"E. W. Dijkstra","year":"1976","unstructured":"Dijkstra, E. W., A Discipline of Programming, Englewood Cliffs, New Jersey: Prentice-Hall, 1976."},{"key":"2_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-5983-1","volume-title":"The Science of Programming","author":"D. Gries","year":"1981","unstructured":"Gries, D., The Science of Programming, New York: Springer-Verlag, 1981."},{"key":"2_CR8","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C. A. R. Hoare","year":"1969","unstructured":"Hoare, C. A. R., An Axiomatic Basis for Computer Programming, Communications of the ACM, 12, 1969, pp. 576\u2013580.","journal-title":"Communications of the ACM"},{"key":"2_CR9","unstructured":"Misra, J., Proving Progress for Program Sequencing, Notes on Unity 16\u201390, July 1991."},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Roberts, J. N., and L. Schwartz, Grain Consolidation in Porous Media, Physical Review, 31(9), 1985.","DOI":"10.1103\/PhysRevB.31.5990"},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/BF01898402","volume":"3","author":"B. Sanders","year":"1991","unstructured":"Sanders, B., Eliminating the Substitution Axiom from Unity, Formal Aspects of Computing, 3, 1991, pp. 189\u2013205.","journal-title":"Formal Aspects of Computing"},{"issue":"6","key":"2_CR12","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/BF01381718","volume":"18","author":"A. K. Singh","year":"1989","unstructured":"Singh, A. K., and R. Overbeek, Derivation of Efficient Parallel Programs: An Example from Genetic Sequence Analysis, International Journal of Parallel Programming, 18(6), Dec. 1989, pp. 447\u2013484.","journal-title":"International Journal of Parallel Programming"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Singh, A. K., Program Refinement in Fair Transition Systems, Conference on Parallel Architectures and Languages Europe, Eindhoven, The Netherlands, July 1991.","DOI":"10.1007\/978-3-662-25209-3_35"}],"container-title":["Lecture Notes in Computer Science","PARLE '92 Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55599-4_78.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:59:56Z","timestamp":1605646796000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55599-4_78"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540555995","9783540472506"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-55599-4_78","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}