{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:02:43Z","timestamp":1725663763272},"publisher-location":"Berlin, Heidelberg","reference-count":10,"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_34","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T09:50:15Z","timestamp":1330249815000},"page":"64-71","source":"Crossref","is-referenced-by-count":0,"title":["Flexible program structures for concurrent programming"],"prefix":"10.1007","author":[{"given":"Ambuj K.","family":"Singh","sequence":"first","affiliation":[]},{"given":"Ying","family":"Liu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"6_CR1","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":"6_CR2","doi-asserted-by":"crossref","unstructured":"Cunningham, H. C., and Roman, G., A Unity-Style Programming Logic for Shared Dataspace Programs, IEEE Transactions on Parallel and Distributed System, 1(3), 1990.","DOI":"10.1109\/71.80163"},{"key":"6_CR3","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":"6_CR4","volume-title":"The Science of Programming","author":"D. Gries","year":"1982","unstructured":"Gries, D., The Science of Programming, New York: Springer-Verlag, 1982."},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Liu, Y., and Singh, A. K., Parallel Programming: Achieving Portability Through Abstraction, 11th International Conference on Distributed Computing Systems, 1991.","DOI":"10.1109\/ICDCS.1991.148737"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Meseguer, Jos\u00e9, Conditional Rewriting Logic as a Unified Model of Concurrency, SRI International Technique Report, Feb. 1991.","DOI":"10.1007\/3-540-54317-1_81"},{"issue":"1","key":"6_CR7","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"V. Pratt","year":"1986","unstructured":"Pratt, V., Modeling Concurrency with Partial Orders, International Journal of Parallel Programming, 15(1), Feb. 1986, pp. 33\u201371.","journal-title":"International Journal of Parallel Programming"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Singh, A. K., and Overbeek, Ross, Derivation of Efficient Parallel Programs: An Example From Genetic Sequence Analysis, International Journal of Parallel Programming, 18(6), December 1989.","DOI":"10.1007\/BF01381718"},{"key":"6_CR9","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1007\/BFb0013026","volume":"354","author":"G. Winskel","year":"1989","unstructured":"Winskel, G., An Introduction to Event Structures, Workshop on Linear Time, Branching Time, and Partial Orders in Logics and Models for Concurrency, Lecture Notes in Computer Science 354, 1989, PP 364\u2013397.","journal-title":"Lecture Notes in Computer Science"},{"issue":"4","key":"6_CR10","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1145\/362575.362577","volume":"14","author":"N. Wirth","year":"1971","unstructured":"Wirth, N., Program Development by Stepwise Refinement, Communications of the ACM, 14(4), April 1971, pp. 221\u2013227.","journal-title":"Communications of the ACM"}],"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_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:57:47Z","timestamp":1605646667000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55160-3_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540551607","9783540467625"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-55160-3_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}