{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:18:25Z","timestamp":1742617105781,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540535041"},{"type":"electronic","value":"9783540466772"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-53504-7_93","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:08:05Z","timestamp":1330207685000},"page":"356-365","source":"Crossref","is-referenced-by-count":0,"title":["Asynchronous functional parallel programs"],"prefix":"10.1007","author":[{"given":"Jacques","family":"Julliand","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guy-Ren\u00e9","family":"Perrin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"38_CR1","doi-asserted-by":"crossref","unstructured":"E.A. Ascroft, W.W. Wadge. LUCID: a non procedural language with iteration. CACM vol 20 no 7, 07 \/ 77","DOI":"10.1145\/359636.359715"},{"key":"38_CR2","unstructured":"M.R. Barbacci, J. Wing. Specifing functional andtiming behavior for real-time applications. L.N.C.S.no 258, Spring-Verlag, PARLE, Eindhoven, 06\/87."},{"key":"38_CR3","unstructured":"F. Boussinot. R\u00e9seaux de processus avec m\u00e9lange \u00e9quitable: une approche du temps r\u00e9el. Th\u00e8se d'\u00e9tat, PARIS 7, 1981."},{"key":"38_CR4","unstructured":"L. Cardelli. Basic polymorphic typechecking. Polymorphism, January 85."},{"key":"38_CR5","unstructured":"Ph. Clauss, G. Perrin. Synthesis of process arrays. CONPAR'88, Manchester."},{"key":"38_CR6","doi-asserted-by":"crossref","unstructured":"L. Damas, R. Milner. Principal type-schemes for functional programs. 1st ACM conf. P.O.P.L. 82, pp 207.","DOI":"10.1145\/582153.582176"},{"key":"38_CR7","unstructured":"J.M. Delosme, I.C.F. Ipsen. An illustration of a methodology for the construction of efficient systolic architectures in VLSI. Sd Inter. Symposium on VLSI technology systems and applications, 1985."},{"key":"38_CR8","unstructured":"T. Despeyroux. TYPOL: A formalism to implement natural semantics. R.T. INRIA no94, 03\/88"},{"key":"38_CR9","unstructured":"N.Halbwachs, P. Caspi, D. Pilaud, J.A. Plaice. LUSTRE: A declarative language for programming synchronous systems. P.O.P.L. 1987, M\u00fcnchen, L.N.C.S no 215, pp 178."},{"key":"38_CR10","doi-asserted-by":"crossref","unstructured":"D. Harrison. RUTH: A functional language for real-time programming. L.N.C.S. no 258, Springer-Verlag, PARLE, Eindhoven, 06\/87, p 297, vol II.","DOI":"10.1007\/3-540-17945-3_17"},{"key":"38_CR11","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Com. ACM 21, 8, 1978.","DOI":"10.1145\/359576.359585"},{"key":"38_CR12","doi-asserted-by":"crossref","unstructured":"J.D. Ichbiah and all. Preliminary ADA reference manual and rationale for the design of the ADA prog. language. SIGPLAN Notices, vol 14, no 16, 1979.","DOI":"10.1145\/956650.956651"},{"key":"38_CR13","unstructured":"J. Julliand. Expression fonctionnelle de syst\u00e8mes de processus communicants. Rap. L.I.B. no 48, Univ. de Besan\u00e7on."},{"key":"38_CR14","unstructured":"G. Kahn. The semantics of a simple language for parallel programming. I.F.I.P. 74. North Holland."},{"key":"38_CR15","unstructured":"G. Kahn. Natural semantics. Rapport INRIA no 601."},{"key":"38_CR16","doi-asserted-by":"crossref","unstructured":"R.Karp, R.Miller, S.Winograd. The organization of computations for uniform recurrence equations. J. of ACM, 14\/3\/67.","DOI":"10.1145\/321406.321418"},{"key":"38_CR17","unstructured":"F. Kr\u00f6ger. Abstract modules: combining algebraic and temporal logic specification means. T.S.I.87, vol. 6,no6"},{"key":"38_CR18","unstructured":"H.T. Kung. The structure of parallel algorithms.Advances in Comput.,15,1,79."},{"key":"38_CR19","unstructured":"C. Mongenet, G.R. Perrin. Synthesis of systolic arrays for inductive problems. PARLE, Eindhoven, LNCS 259, 87."},{"key":"38_CR20","doi-asserted-by":"crossref","unstructured":"P. Quinton, V. Van Dongen. The mapping of linear recurrence equations on regular arrays. Submitted to The Journal of VLSI Signal processing, 1988.","DOI":"10.1007\/BF02477176"},{"key":"38_CR21","unstructured":"D. Turner. Functional programming and communicating processes. L.N.C.S. no 258, Spr.-Ver., PARLE, Eindhoven, 06\/87, p 54."}],"container-title":["Lecture Notes in Computer Science","Advances in Computing and Information \u2014 ICCI '90"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53504-7_93.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:09:19Z","timestamp":1742591359000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53504-7_93"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540535041","9783540466772"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-53504-7_93","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}