{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:21:00Z","timestamp":1725664860204},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540610526"},{"type":"electronic","value":"9783540499367"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61052-9_42","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:13:20Z","timestamp":1330290800000},"page":"107-123","source":"Crossref","is-referenced-by-count":6,"title":["Towards a compositional method for coordinating Gamma programs"],"prefix":"10.1007","author":[{"given":"Michel","family":"Chaudron","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edwin","family":"Jong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"8_CR1","volume-title":"volume Mathematical Centre Tracts 131","author":"R.J.R. Back","year":"1980","unstructured":"R.J.R. Back. Correctness Preserving Program Refinements: Proof Theory and Applications, volume Mathematical Centre Tracts 131. Mathematical Center, Amsterdam, 1980."},{"key":"8_CR2","unstructured":"R.J.R. Back. Refinement calculus, part ii: Parallel and reactive programs. In LNCS 430: Stepwise Refinement of Distributed Systems '89, pages 67\u201393. Springer-Verlag, 1989."},{"key":"8_CR3","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/0167-739X(88)90012-X","volume":"4","author":"J.-P. Ban\u00e2tre","year":"1988","unstructured":"J.-P. Ban\u00e2tre, A. Coutant, and D. Le M\u00e9tayer. A parallel machine for multiset transformation and its programming style. Future Generation Computer Systems, 4:133\u2013144, 1988.","journal-title":"Future Generation Computer Systems"},{"key":"8_CR4","doi-asserted-by":"crossref","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, November 1990.","journal-title":"Science of Computer Programming"},{"issue":"1","key":"8_CR5","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1145\/151233.151242","volume":"36","author":"J.-P. Ban\u00e2tre","year":"1993","unstructured":"J.-P. Ban\u00e2tre and D. Le M\u00e9tayer. Programming by multiset transformation. Communications of the ACM, 36(1):98\u2013111, January 1993.","journal-title":"Communications of the ACM"},{"issue":"2","key":"8_CR6","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1145\/129630.129635","volume":"35","author":"N. Carriero","year":"1992","unstructured":"N. Carriero and D. Gelernter. Coordination languages and their significance. Communications of the ACM, 35(2):97\u2013107, February 1992.","journal-title":"Communications of the ACM"},{"key":"8_CR7","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":"8_CR8","volume-title":"Technical Report 94-36","author":"M. Chaudron","year":"1994","unstructured":"M. Chaudron. Schedules for multiset transformer programs. Technical Report 94-36, Rijksuniversiteit Leiden, Departement of Mathematics and Computing Science, P.O. Box 9512, 2300 RA Leiden, The Netherlands, December 1994."},{"key":"8_CR9","volume-title":"Technical Report 95-32","author":"M. Chaudron","year":"1995","unstructured":"M. Chaudron. Towards compositional design of schedules for multiset transformer programs. Technical Report 95-32, Rijksuniversiteit Leiden, Departement of Mathematics and Computing Science, P.O. Box 9512, 2300 RA Leiden, The Netherlands, November 1995."},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"M. Chaudron and E. De Jong. Schedules for multiset transformer programs. In Coordination Programming: Mechanisms, Models and Semantics. Imperial College Press, 1996. (to appear).","DOI":"10.1142\/9781848161023_0007"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"P. Ciancarini, R. Gorrieri, and G. Zavattaro. An alternative semantics for the calculus of GAMMA programs. In Coordination Programming: Mechanisms, Models and Semantics. Imperial College Press, 1996. (to appear).","DOI":"10.1142\/9781848161023_0009"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"C. Hankin, D. Le M\u00e9tayer, and D. Sands. A calculus of Gamma programs. In 5th International Workshop on Languages and Compilers for Parallel Computing, LNCS 757, pages 342\u2013355. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-57502-2_57"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"C. Hankin, D. Le M\u00e9tayer, and D. Sands. A parallel programming style and its algebra of programs. In PARLE '93, LNCS 694, pages 367\u2013378. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-56891-3_29"},{"key":"8_CR14","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1007\/BF01209623","volume":"30","author":"A. K. Singh","year":"1993","unstructured":"Singh A. K., Program refinement in fair transition systems. Acta Informatica, 30:503\u2013535, 1993.","journal-title":"Acta Informatica"},{"key":"8_CR15","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, 1989."},{"key":"8_CR16","unstructured":"M. J. Quinn. Parallel Computing: Theory and Practice (2 nd ed). McGraw-Hill, 1994."},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"D. Sands. A compositional semantics of combining forms for gamma programs. In LNCS 735, Formal Methods in Programming and Their Applications, pages 43\u201356. Springer-Verlag, 1993.","DOI":"10.1007\/BFb0039699"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"D. Sands. Laws of synchronised termination. In Proceedings of the First Imperial College Departement of Computing Workshop on Theory and Formal Methods, pages 276\u2013288. Springer-Verlag, 1993.","DOI":"10.1007\/978-1-4471-3503-6_22"}],"container-title":["Lecture Notes in Computer Science","Coordination Languages and Models"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61052-9_42.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:03:40Z","timestamp":1605647020000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61052-9_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540610526","9783540499367"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-61052-9_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}