{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,3]],"date-time":"2026-10-03T07:22:17Z","timestamp":1791012137156,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540568919","type":"print"},{"value":"9783540477792","type":"electronic"}],"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\/3-540-56891-3_29","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:49:25Z","timestamp":1330256965000},"page":"367-378","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["A Parallel programming style and its algebra of programs"],"prefix":"10.1007","author":[{"given":"Chris","family":"Hankin","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Daniel","family":"Le M\u00e9tayer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David","family":"Sands","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"issue":"8","key":"29_CR1","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1145\/359576.359579","volume":"21","author":"J. Backus","year":"1978","unstructured":"J. Backus. Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. Communications of the ACM, 21(8):613\u2013641, August 1978.","journal-title":"Communications of the ACM"},{"key":"29_CR2","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0167-6423(90)90044-E","volume":"15","author":"J.-P. Ban\u00e2tre","year":"1990","unstructured":"J.-P. Ban\u00e2tre and D. Le M\u00e9tayer. The Gamma model and its discipline of programming. Science of Computer Programming, 15:55\u201377, 1990.","journal-title":"Science of Computer Programming"},{"key":"29_CR3","doi-asserted-by":"crossref","unstructured":"J.-P. Ban\u00e2tre and D. Le M\u00e9tayer, editors. Research Directions in High-level Parallel Programming Languages. Springer-Verlag, LNCS 574, 1992.","DOI":"10.1007\/3-540-55160-3"},{"key":"29_CR4","doi-asserted-by":"crossref","unstructured":"J.-P. Ban\u00e2tre and D. Le M\u00e9tayer. Programming by multiset transformation. CACM, January 1993.","DOI":"10.1145\/151233.151242"},{"key":"29_CR5","doi-asserted-by":"crossref","unstructured":"K. M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley, 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"29_CR6","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1145\/359138.359142","volume":"22","author":"N. Dershowitz","year":"1979","unstructured":"N. Dershowitz and Z. Manna. Proving termination with multiset orderings. Comm. ACM, 22:465\u2013476, 1979.","journal-title":"Comm. ACM"},{"key":"29_CR7","unstructured":"C. Hankin, D. Le M\u00e9tayer, and D. Sands. A calculus of Gamma programs. Research Report DOC 92\/22, Department of Computing, Imperial College, 1992."},{"issue":"32","key":"29_CR8","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1093\/comjnl\/32.2.98","volume":"2","author":"J. Hughes","year":"1989","unstructured":"J. Hughes. Why functional programming matters. The Computer Journal, 2(32):98\u2013107, April 1989.","journal-title":"The Computer Journal"},{"key":"29_CR9","doi-asserted-by":"crossref","unstructured":"J.W. Klop. Term rewriting systems. Technical Report CS-R9073, CWI, 1990.","DOI":"10.1007\/3-540-54317-1_79"},{"key":"29_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0167-6423(92)90032-7","volume":"18","author":"A. Maasen","year":"1992","unstructured":"A. Maasen. Parallel programming with data structures and higher-order functions. Science of Computer Programming, 18:1\u201338, 1992.","journal-title":"Science of Computer Programming"},{"key":"29_CR11","doi-asserted-by":"crossref","unstructured":"J. Meseguer and T. Winkler. Parallel programming in Maude. In [BM92], 1991.","DOI":"10.1007\/3-540-55160-3_49"},{"key":"29_CR12","unstructured":"P. Roe. Parallel Programming using Functional Languages. PhD thesis, Glasgow University, 1991."},{"key":"29_CR13","unstructured":"R. Sedgewick. Algorithms. Addison-Wesley, 1988."}],"container-title":["Lecture Notes in Computer Science","PARLE '93 Parallel Architectures and Languages Europe"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56891-3_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T05:05:59Z","timestamp":1640927159000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56891-3_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540568919","9783540477792"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-56891-3_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993]]},"assertion":[{"value":"27 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}