{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:24:59Z","timestamp":1761611099309},"reference-count":25,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":3850,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Science of Computer Programming"],"published-print":{"date-parts":[[2003,1]]},"DOI":"10.1016\/s0167-6423(02)00086-2","type":"journal-article","created":{"date-parts":[[2002,11,5]],"date-time":"2002-11-05T13:14:20Z","timestamp":1036502060000},"page":"31-69","source":"Crossref","is-referenced-by-count":3,"title":["Comparing coordination models and architectures using embeddings"],"prefix":"10.1016","volume":"46","author":[{"given":"Marcello M.","family":"Bonsangue","sequence":"first","affiliation":[]},{"given":"Joost N.","family":"Kok","sequence":"additional","affiliation":[]},{"given":"Gianluigi","family":"Zavattaro","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0167-6423(02)00086-2_BIB1","first-page":"182","article-title":"True concurrency semantics for a linear logic programming language with broadcast communication","volume":"vol. 668","author":"Andreoli","year":"1993"},{"issue":"3+4","key":"10.1016\/S0167-6423(02)00086-2_BIB2","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1007\/BF03037173","article-title":"Linear objects","volume":"9","author":"Andreoli","year":"1991","journal-title":"New Gen. Comput."},{"key":"10.1016\/S0167-6423(02)00086-2_BIB3","unstructured":"F. Arbab, What do you mean, coordination? Bulletin of the Dutch Association for Theoretical Computer Science, NVTI, 1998, pp. 11\u201322. Available on-line at http:\/\/www.cwi.nl\/NVTI\/Nieuwsbrief\/nieuwsbrief.html."},{"issue":"7","key":"10.1016\/S0167-6423(02)00086-2_BIB4","first-page":"703","article-title":"Reusable coordination modules for massively concurrent applications","volume":"28","author":"Arbab","year":"1998","journal-title":"Software: Practice Exper."},{"issue":"1","key":"10.1016\/S0167-6423(02)00086-2_BIB5","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0304-3975(99)00226-1","article-title":"A transition system semantics for the control-driven coordination language MANIFOLD","volume":"240","author":"Arbab","year":"2000","journal-title":"Theoret. Comput. Sci."},{"issue":"7","key":"10.1016\/S0167-6423(02)00086-2_BIB6","doi-asserted-by":"crossref","first-page":"1094","DOI":"10.1109\/9.231463","article-title":"Control systems software","volume":"38","author":"Boasson","year":"1993","journal-title":"IEEE Trans. Automat. Control"},{"issue":"1","key":"10.1016\/S0167-6423(02)00086-2_BIB7","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1006\/inco.1994.1004","article-title":"Embedding as a tool for language comparison","volume":"108","author":"de Boer","year":"1994","journal-title":"Inform. Comput."},{"key":"10.1016\/S0167-6423(02)00086-2_BIB8","series-title":"Proc. SAC\u201998","first-page":"159","article-title":"A software architecture for distributed control systems and its transition system semantics","author":"Bonsangue","year":"1998"},{"key":"10.1016\/S0167-6423(02)00086-2_BIB9","series-title":"Proc. SAC\u201999","first-page":"156","article-title":"Comparing coordination models based on shared distributed replicated data","author":"Bonsangue","year":"1999"},{"key":"10.1016\/S0167-6423(02)00086-2_BIB10","first-page":"150","article-title":"Comparing software architectures for coordination languages","volume":"vol. 1594","author":"Bonsangue","year":"1999"},{"key":"10.1016\/S0167-6423(02)00086-2_BIB11","first-page":"134","article-title":"On the expressiveness of coordination models","volume":"vol. 1594","author":"Brogi","year":"1999"},{"issue":"2","key":"10.1016\/S0167-6423(02)00086-2_BIB12","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/S0304-3975(97)00149-7","article-title":"A process algebraic view of Linda coordination primitives","volume":"192","author":"Busi","year":"1998","journal-title":"Theoret. Comput. Sci."},{"issue":"1","key":"10.1016\/S0167-6423(02)00086-2_BIB13","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/S0304-3975(99)00227-3","article-title":"Comparing three semantics for Linda-like languages","volume":"240","author":"Busi","year":"2000","journal-title":"Theoret. Comput. Sci."},{"issue":"1\/2","key":"10.1016\/S0167-6423(02)00086-2_BIB14","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1006\/inco.1999.2823","article-title":"On the expressiveness of Linda coordination primitives","volume":"156","author":"Busi","year":"2000","journal-title":"Inform. Comput."},{"issue":"4","key":"10.1016\/S0167-6423(02)00086-2_BIB15","doi-asserted-by":"crossref","first-page":"444","DOI":"10.1145\/63334.63337","article-title":"Linda in context","volume":"32","author":"Carriero","year":"1989","journal-title":"Commun. ACM"},{"key":"10.1016\/S0167-6423(02)00086-2_BIB16","doi-asserted-by":"crossref","unstructured":"A. Engels, S. Mauw, M.A. Reniers, A hierarchy of communication models for message sequence charts, in: Proc. FORTE X and PSTV XVII, Chapman & Hall, London, 1997, pp. 75\u201390.","DOI":"10.1007\/978-0-387-35271-8_5"},{"issue":"2","key":"10.1016\/S0167-6423(02)00086-2_BIB17","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1145\/129630.129635","article-title":"Coordination languages and their significance","volume":"35","author":"Gelernter","year":"1992","journal-title":"Commun. ACM"},{"key":"10.1016\/S0167-6423(02)00086-2_BIB18","first-page":"279","article-title":"Trace theory","volume":"vol. 255","author":"Mazurkiewicz","year":"1987"},{"key":"10.1016\/S0167-6423(02)00086-2_BIB19","article-title":"A Calculus of Communication Systems","volume":"vol. 92","author":"Milner","year":"1980"},{"key":"10.1016\/S0167-6423(02)00086-2_BIB20","series-title":"Communication and Concurrency","author":"Milner","year":"1989"},{"key":"10.1016\/S0167-6423(02)00086-2_BIB21","doi-asserted-by":"crossref","unstructured":"C. Palamidessi, Comparing the expressive power of the synchronous and the asynchronous pi-calculus, in: Proc. 24th ACM Symp. on Principles of Programming Languages (POPL), ACM, New York, 1997, pp. 256\u2013265.","DOI":"10.1145\/263699.263731"},{"key":"10.1016\/S0167-6423(02)00086-2_BIB22","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1016\/S0065-2458(08)60208-9","article-title":"Coordination Models and Languages","volume":"46","author":"Papadopoulos","year":"1998","journal-title":"Adv. Comput."},{"issue":"3","key":"10.1016\/S0167-6423(02)00086-2_BIB23","doi-asserted-by":"crossref","first-page":"412","DOI":"10.1145\/72551.72555","article-title":"The family of concurrent logic programming languages","volume":"21","author":"Shapiro","year":"1989","journal-title":"ACM Comput. Surveys"},{"key":"10.1016\/S0167-6423(02)00086-2_BIB24","series-title":"Software Architecture","author":"Shaw","year":"1996"},{"key":"10.1016\/S0167-6423(02)00086-2_BIB25","doi-asserted-by":"crossref","unstructured":"G. Zavattaro, Towards a hierarchy of negative test operators for generative communication, in: Proc. Express\u201998, Electronic Notes in Theoretical Computer Science, Elsevier Science, Amsterdam, vol. 16 (2), 1998.","DOI":"10.1016\/S1571-0661(04)00125-2"}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642302000862?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642302000862?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,9]],"date-time":"2020-03-09T09:05:14Z","timestamp":1583744714000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167642302000862"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,1]]},"references-count":25,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2003,1]]}},"alternative-id":["S0167642302000862"],"URL":"https:\/\/doi.org\/10.1016\/s0167-6423(02)00086-2","relation":{},"ISSN":["0167-6423"],"issn-type":[{"value":"0167-6423","type":"print"}],"subject":[],"published":{"date-parts":[[2003,1]]}}}