{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:44Z","timestamp":1761611204608},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540434108"},{"type":"electronic","value":"9783540460008"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46000-4_6","type":"book-chapter","created":{"date-parts":[[2007,5,29]],"date-time":"2007-05-29T22:17:36Z","timestamp":1180477056000},"page":"22-39","source":"Crossref","is-referenced-by-count":14,"title":["Coordination through Channel Composition"],"prefix":"10.1007","author":[{"given":"Farhad","family":"Arbab","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Farhad","family":"Mavaddat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,3,14]]},"reference":[{"key":"6_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1007\/3-540-61052-9_38","volume-title":"Coordination Languages and Models","author":"F. Arbab","year":"1996","unstructured":"F. Arbab. The IWIM model for coordination of concurrent activities. In Paolo Ciancarini and Chris Hankin, editors, Coordination Languages and Models, volume 1061 of Lecture Notes in Computer Science, pages 34\u201356. Springer-Verlag, April 1996."},{"key":"6_CR2","series-title":"Technical report","volume-title":"Manifold version 2: Language reference manual","author":"F. Arbab","year":"1996","unstructured":"F. Arbab. Manifold version 2: Language reference manual. Technical report, Centrum voor Wiskunde en Informatica, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands, 1996. Available online http:\/\/www.cwi.nl\/ftp\/manifold\/refman.ps.Z ."},{"key":"6_CR3","series-title":"Technical Report","volume-title":"A channel-based coordination model for component composition","author":"F. Arbab","year":"2001","unstructured":"F. Arbab. A channel-based coordination model for component composition. Technical Report SEN-R0203, Centrum voor Wiskunde en Informatica, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands, 2001."},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"F. Arbab, F.S. de Boer, and M.M. Bonsangue. A coordination language for mobile components. In Proc. ACM SAC\u201900, 2000.","DOI":"10.1145\/335603.335734"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Farhad Arbab. Coordination of mobile components. In Ugo Montanari and Vladimiro Sassone, editors, Electronic Notes in Theoretical Computer Science, volume 54. Elsevier Science Publishers, 2001.","DOI":"10.1016\/S1571-0661(04)00231-2"},{"key":"6_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/3-540-45263-X_16","volume-title":"Coordination Languages and Models:Proc. Coordination 2000","author":"F. Arbab","year":"2000","unstructured":"Farhad Arbab, F. S. de Boer, and M. M. Bonsangue. A logical interface description language for components. In Antonio Porto and Gruia-Catalin Roman, editors, Coordination Languages and Models:Proc. Coordination 2000, volume 1906 of Lecture Notes in Computer Science, pages 249\u2013266. Springer-Verlag, September 2000."},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(99)00226-1","volume":"240","author":"M.M. Bonsangue","year":"2000","unstructured":"M.M. Bonsangue, F. Arbab, J.W. de Bakker, J.J.M.M. Rutten, A. Scutell\u00e1, and G. Zavattaro. A transition system semantics for the control-driven coordination language manifold. Theoretical Computer Science, 240:3\u201347, 2000.","journal-title":"Theoretical Computer Science"},{"key":"6_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"170","DOI":"10.1007\/BFb0014427","volume-title":"Equations for describing dynamic nets of communicating systems","author":"M. Broy","year":"1995","unstructured":"M. Broy. Equations for describing dynamic nets of communicating systems. In Proc. 5th COMPASS workshop, volume 906 of Lecture Notes in Computer Science, pages 170\u2013187. Springer-Verlag, 1995."},{"key":"6_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1007\/3-540-44612-5_17","volume-title":"Proc. International Symposium of the Mathematical Foundations of Computer Science (MFCS)","author":"F. S. Boer de","year":"2000","unstructured":"F. S. de Boer and M. M. Bonsangue. A compositional model for confluent dynamic data-flow networks. In M. Nielsen and B. Rovan, editors, Proc. International Symposium of the Mathematical Foundations of Computer Science (MFCS), volume 1893 of Lecture Notes in Computer Science, pages 212\u2013221. Springer-Verlag, August-September 2000."},{"key":"6_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"504","DOI":"10.1007\/BFb0014336","volume-title":"A model for mobile point-to-point data-flow networks without channel sharing","author":"R. Grosu","year":"1996","unstructured":"R. Grosu and K. Stoelen. A model for mobile point-to-point data-flow networks without channel sharing. Lecture Notes in Computer Science, 1101:504-??, 1996."},{"key":"6_CR11","unstructured":"G. Kahn. The semantics of a simple language for parallel programming. In J. L. Rosenfeld, editor, Information Processing\u2019 74:P roceedings of the IFIP Congress, pages 471\u2013475. North-Holland, New York, NY, 1974."},{"key":"6_CR12","unstructured":"Juan Guillen Scholten. Mocha: A model for distributed Mobile Channels. Master\u2019s thesis, Leiden University, May 2001."}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46000-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T08:29:48Z","timestamp":1556440188000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46000-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540434108","9783540460008"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-46000-4_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}