{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:45:21Z","timestamp":1725486321839},"reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540108276"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0105138","type":"book-chapter","created":{"date-parts":[[2007,6,12]],"date-time":"2007-06-12T05:24:42Z","timestamp":1181625882000},"page":"464-479","source":"Crossref","is-referenced-by-count":0,"title":["Design and development of concurrent programs"],"prefix":"10.1007","author":[{"given":"J.","family":"Julliand","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G. R.","family":"Perrin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"33_CR1","volume-title":"Asynchronous iterative methods for multiprocessors","author":"G. Baudet","year":"1976","unstructured":"G. BAUDET Asynchronous iterative methods for multiprocessors. Rapport Carnegie Mellon University \u2014 PITTSBURGH 1976."},{"doi-asserted-by":"crossref","unstructured":"P. BRINCH HANSEN The programming language concurrent Pascal. IEEE Software Engineering \u2014 1975.","key":"33_CR2","DOI":"10.1007\/978-1-4757-3472-0_11"},{"doi-asserted-by":"crossref","unstructured":"CHAZAN, MIRANKER W. Chaotic relaxation. Linear Algebra and its applications 2, 1969.","key":"33_CR3","DOI":"10.1016\/0024-3795(69)90028-7"},{"unstructured":"CHARNAY, MUSY, ROBERT Iterations chaotiques s\u00e9rie parall\u00e8le pour des \u00e9qua tions non lin\u00e9aires de point fixe. Aplikace Matematiky \u2014 1975.","key":"33_CR4"},{"doi-asserted-by":"crossref","unstructured":"J.A. FELDMANN High Level programming for distributed computing. Com. ACM \u2014 1979.","key":"33_CR5","DOI":"10.1145\/359114.359127"},{"key":"33_CR6","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/BF00260922","volume":"10","author":"J.V. Guttag, Horning","year":"1978","unstructured":"J.V. GUTTAG, HORNING The algebraic specification of abstract data types. Acta informatica 10, 27\u201352 \u2014 1978.","journal-title":"Acta informatica"},{"doi-asserted-by":"crossref","unstructured":"C.A.C. HOARE Communicating Sequential Processes. Com. ACM \u2014 1978.","key":"33_CR7","DOI":"10.1007\/978-1-4757-3472-0_16"},{"key":"33_CR8","volume-title":"Reference manual for the Geen Programming Language","author":"J.D. Ichbiah","year":"1979","unstructured":"J.D. ICHBIAH Reference manual for the Geen Programming Language. Publication CII \u2014 HC \u2014 1979."},{"unstructured":"J. JULLIAND Communications asynchrones entre processus. Ecole d'\u00e9t\u00e9 d'informatique de l'AFCET, AIX-EN-PROVENCE \u2014 1980.","key":"33_CR9"},{"unstructured":"J. JULLIAND Les communications entre processus d'un programme parall\u00e8le. Publication CRIN 80-R-026 \u2014 1980.","key":"33_CR10"},{"doi-asserted-by":"crossref","unstructured":"J.C. MIELLOU Algorithmes de relaxation chaotique \u00e0 retards. RAIRO \u2014 analyse num\u00e9rique \u2014 R-1 \u2014 1975.","key":"33_CR11","DOI":"10.1051\/m2an\/197509R100551"},{"unstructured":"G.R. PERRIN Le cadencement par les donn\u00e9es: une m\u00e9thode de conception de programmes. Congr\u00e8s AFCET informatique, NANCY 1980.","key":"33_CR12"},{"unstructured":"G.R. PERRIN Conception, \u00e9criture et v\u00e9rification de programmes parall\u00e8les. RAIRO Informatique \u2014 \u00e0 para\u00eetre 1981.","key":"33_CR13"},{"unstructured":"G. ROUCAIROL Contribution \u00e0 L'\u00e9tude des \u00e9quivalences syntaxiques et transformation de programmes parall\u00e8les. Th\u00e8se. Universit\u00e9 de PARIS VI \u2014 1978.","key":"33_CR14"}],"container-title":["Lecture Notes in Computer Science","Conpar 81"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0105138.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T22:18:57Z","timestamp":1607552337000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0105138"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540108276"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0105138","relation":{},"subject":[]}}