{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:09Z","timestamp":1725663489202},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540568919"},{"type":"electronic","value":"9783540477792"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56891-3_41","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:49:50Z","timestamp":1330256990000},"page":"517-528","source":"Crossref","is-referenced-by-count":3,"title":["Correctness of automated distribution of sequential programs"],"prefix":"10.1007","author":[{"given":"Cyrille","family":"Bareau","sequence":"first","affiliation":[]},{"given":"Beno\u00eet","family":"Caillaud","sequence":"additional","affiliation":[]},{"given":"Claude","family":"Jard","sequence":"additional","affiliation":[]},{"given":"Ren\u00e9","family":"Thoraval","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"41_CR1","doi-asserted-by":"crossref","unstructured":"Fran\u00e7oise Andr\u00e9, Jean-Louis Pazat, and Henry Thomas. Pandore: a system to manage data distribution. In ACM International Conference on Supercomputing, June 11\u201315 1990.","DOI":"10.1145\/77726.255179"},{"key":"41_CR2","doi-asserted-by":"crossref","unstructured":"K.R. Apt and E.-R. Olderog. Verification of Sequential and Concurrent Programs. Springer-Verlag, 1991.","DOI":"10.1007\/978-1-4757-4376-0"},{"key":"41_CR3","doi-asserted-by":"crossref","unstructured":"A. Arnold. Transition systems and concurrent processes. Mathematical Problems in Computation Theory, Banach Center Publications, 21, 1988.","DOI":"10.4064\/-21-1-9-20"},{"key":"41_CR4","doi-asserted-by":"crossref","unstructured":"Cyrille Bareau, Beno\u00eet Cailland, Claude Jard, and Ren\u00e9 Thoraval. Correctness of Automated Distribution of Sequential Programs. Technical Report 665, Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires, June 1992.","DOI":"10.1007\/3-540-56891-3_41"},{"key":"41_CR5","doi-asserted-by":"crossref","unstructured":"Luc Boug\u00e9. On the semantics of languages for massively parallel Simd architectures. Research report 91-14, LIP\/ENS Lyon, April 1991.","DOI":"10.1007\/3-540-54152-7_64"},{"key":"41_CR6","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/BF00128175","volume":"2","author":"D. Callahan","year":"1988","unstructured":"David Callahan and Ken Kennedy. Compiling programs for distributed-memory multiprocessors. The Journal of Supercomputing, (2):151\u2013169, 1988.","journal-title":"The Journal of Supercomputing"},{"key":"41_CR7","unstructured":"ISO 9074. Estelle: a Formal Description Technique based on an Extented State Transition Model. ISO TC97\/SC21\/WG6.1, 1989."},{"issue":"5","key":"41_CR8","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1002\/cpe.4330040504","volume":"4","author":"C Jard","year":"1992","unstructured":"C Jard and J.-M. J\u00e9z\u00e9quel. ECHIDNA, an Estelle-compiler to prototype protocols on distributed computers. Concurrency Practice and Experience, 4(5):377\u2013397, August 1992.","journal-title":"Concurrency Practice and Experience"},{"key":"41_CR9","doi-asserted-by":"crossref","unstructured":"Robert M. Keller. A fundamental theorem of asynchronous parallel computation. In T. Y. Feng, editor, Parallel Processing, pages 102\u2013112, Springer Verlag, 1975. Lecture Notes in Computer Science 24.","DOI":"10.1007\/3-540-07135-0_113"},{"key":"41_CR10","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall, 1989."},{"key":"41_CR11","unstructured":"H. R. Nielson and F. Nielson. Semantics with Applications: a Formal Introduction. Wiley, 1992."},{"key":"41_CR12","unstructured":"Edwin M. Paalvast, Henk J. Sips, and A. J. van Gemund. Automatic parallel program generation and optimization from data decompositions. In International Conference on Parallel Processing, August 1991."},{"key":"41_CR13","unstructured":"P. Weis, M.V. Aponte, A. Laville, M. Mauny, and A. Su\u00e1rez. The CAML reference manual. Rapport Technique 121, 1NRIA, septembre 1990."},{"key":"41_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0167-8191(88)90002-6","volume":"6","author":"Hans P. P. Zima","year":"1988","unstructured":"Hans P. Zima, Heinz-J. Bast, and Michael Gerndt. Superb: a tool for semi-automatic mimd\/simd parallelization. Parallel Computing, (6):1\u201318, 1988.","journal-title":"Parallel Computing"}],"container-title":["Lecture Notes in Computer Science","PARLE '93 Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56891-3_41.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:06:51Z","timestamp":1605647211000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56891-3_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540568919","9783540477792"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-56891-3_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}