{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:11:50Z","timestamp":1725664310300},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540601173"},{"type":"electronic","value":"9783540494454"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60117-1_6","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:44:17Z","timestamp":1330278257000},"page":"67-96","source":"Crossref","is-referenced-by-count":10,"title":["Derivation of parallel algorithms from functional specifications to CSP processes"],"prefix":"10.1007","author":[{"given":"Ali E.","family":"Abdallah","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Abdallah, A. E. \u201cAn Algebraic Approach for the Refinement of Functional Specifications to CSP Processes\u201d. Internal Report. The University of Reading, 1994.","DOI":"10.1007\/3-540-60117-1_6"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Bird, R. S. \u201cThe Promotion and Accumulation Strategies in Transformational Programming\u201d. ACM TOPLAS, Vol. 6, No. 4, 1984.","DOI":"10.1145\/1780.1781"},{"key":"6_CR3","unstructured":"Bird, R. S. \u201cAn Introduction to the Theory of Lists\u201d. PRG-56, Oxford University, Programming Research Group, 1986."},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Bird, R. S. \u201cConstructive functional programming\u201d. In Constructive Methods in Computer Science, Springer-Verlag, 1988.","DOI":"10.1007\/978-3-642-74884-4_5"},{"key":"6_CR5","unstructured":"Bird, R. S. and Meertens, L. G. L. T. Two Exercices Found in a Book on Algorithmics. In Program Specification and Transformation. North Holland, 1986"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Bird, R. S. and Moor, O. de \u201cList Partitions\u201d Formal Aspects of Computing, Vol 5, No 1, 1993.","DOI":"10.1007\/BF01211316"},{"key":"6_CR7","unstructured":"Bird, R. S. and Wadler, P. Introduction to Functional Programming. Prentice-Hall, 1988."},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Broy, M. \u201cTowards a design methodology for distributed systems\u201d. In Constructive Methods in Computer Science. Springer-Verlag, 1988.","DOI":"10.1007\/978-3-642-74884-4_10"},{"key":"6_CR9","unstructured":"CIP language group. The Munich project CIP, LNCS Vol. 1, Springer-Verlag, 1984."},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Dennis, J. B. \u201cData Flow Computations\u201d. In Control Flow and Data Flow: Concepts of Distributed Porgramming. Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-82921-5_8"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Darlington, J. \u201cA Synthesis of Several Sorting Algorithms\u201d. Acta Informatica, Vol. 11, No. 1, 1978.","DOI":"10.1007\/BF00264597"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Hoare, C. A. R. Communicating Sequential Processes. Prentice-Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"6_CR13","unstructured":"Hoare, C. A. R. \u201cAlgebraic Specifications and Proofs for Communicating Sequential Processes\u201d. In Development in Concurrency and Communication. Addison Wesley, 1990."},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Lengauer, C. and Hehner, E. C. R. \u201cA methodology for programming with concurrency: an informal presentation\u201d. Sci. Comput. Programming, Vol. 2, 1982.","DOI":"10.1016\/0167-6423(82)90002-8"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Luk, W. and Jones, G. \u201cThe derivation of regular synchronous circuits\u201d. Proc. International Conference on Systolic Arrays, San Diego, May, 1988.","DOI":"10.1109\/ARRAYS.1988.18071"},{"key":"6_CR16","unstructured":"Meertens L. G. L. T. (Ed) Program Specification and Transformation. North Holland. 1986"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Moitra, A. \u201cAutomatic construction of CSP programs from sequential non-deterministic programs\u201d. Science of Computer Programming, Vol. 5, No 3, 1985.","DOI":"10.1016\/0167-6423(85)90016-4"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Peyton-Jones, S., Clack, C. Salkid, J., and Hardie, M. \u201cGRIP: a high-performance architecture for parallel graph reduction\u201d. In Proc. ACM Conference on Functional Programming and Computer Architechture, Portland, USA, Sep. 1987.","DOI":"10.1007\/3-540-18317-5_7"},{"key":"6_CR19","unstructured":"Sheeran, M. \u201c\u03bcFP \u2014 An Algebraic VLSI Design Language\u201d. D.Phil Thesis, (also PRG-39), Oxford University, Programming Research Group, 1983."},{"key":"6_CR20","volume-title":"Lecture Notes in Computer Science 201","author":"D. A. Turner","year":"1985","unstructured":"Turner, D. A. \u201cMiranda: a non-strict functional language with polymorphic types\u201d. In Proc. Functional Programming Languages and Computer Architecture, Nancy, 1985 (Lecture Notes in Computer Science 201, Springer-Verlag)."}],"container-title":["Lecture Notes in Computer Science","Mathematics of Program Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60117-1_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T09:25:37Z","timestamp":1640942737000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60117-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540601173","9783540494454"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-60117-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}