{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T13:14:13Z","timestamp":1725974053269},"publisher-location":"Cham","reference-count":41,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319900889"},{"type":"electronic","value":"9783319900896"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-90089-6_7","type":"book-chapter","created":{"date-parts":[[2018,5,3]],"date-time":"2018-05-03T20:37:52Z","timestamp":1525379872000},"page":"86-106","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On the Relation Between Control-Based and Data-Based Coordination Languages"],"prefix":"10.1007","author":[{"given":"Jean-Marie","family":"Jacquet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Isabelle","family":"Linden","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Denis","family":"Darquennes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,4,7]]},"reference":[{"issue":"3","key":"7_CR1","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1017\/S0960129504004153","volume":"14","author":"F Arbab","year":"2004","unstructured":"Arbab, F.: Reo: a channel-based coordination model for component composition. Math. Struct. Comput. Sci. 14(3), 329\u2013366 (2004)","journal-title":"Math. Struct. Comput. Sci."},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-3-642-24933-4_9","volume-title":"Formal Modeling: Actors, Open Systems, Biological Systems","author":"F Arbab","year":"2011","unstructured":"Arbab, F.: Puff, the magic protocol. In: Agha, G., Danvy, O., Meseguer, J. (eds.) Formal Modeling: Actors, Open Systems, Biological Systems. LNCS, vol. 7000, pp. 169\u2013206. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-24933-4_9"},{"issue":"1","key":"7_CR3","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/s10270-006-0009-9","volume":"6","author":"F Arbab","year":"2007","unstructured":"Arbab, F., Baier, C., de Boer, F.S., Rutten, J.J.M.M.: Models and temporal logical specifications for timed component connectors. Softw. Syst. Model. 6(1), 59\u201382 (2007)","journal-title":"Softw. Syst. Model."},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-540-40020-2_2","volume-title":"Recent Trends in Algebraic Development Techniques","author":"F Arbab","year":"2003","unstructured":"Arbab, F., Rutten, J.J.M.M.: A coinductive calculus of component connectors. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2002. LNCS, vol. 2755, pp. 34\u201355. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-40020-2_2"},{"issue":"1","key":"7_CR5","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1145\/151233.151242","volume":"36","author":"J-P Ban\u00e2tre","year":"1993","unstructured":"Ban\u00e2tre, J.-P., Le M\u00e9tayer, D.: Programming by multiset transformation. Commun. ACM 36(1), 98\u2013111 (1993)","journal-title":"Commun. ACM"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Ban\u00e2tre, J.-P., M\u00e9tayer, D.L.: Gamma and the chemical reaction model: ten years after. In: Coordination Programming, pp. 3\u201341. Imperial College Press, London (1996)","DOI":"10.1142\/9781848161023_0001"},{"key":"7_CR7","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G Berry","year":"1992","unstructured":"Berry, G., Gonthier, G.: The Esterel synchronous programming language: design, semantics, implementation. Sci. Comput. Program. 19, 87\u2013152 (1992)","journal-title":"Sci. Comput. Program."},{"issue":"2","key":"7_CR8","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/S1571-0661(04)00118-5","volume":"16","author":"A Brogi","year":"1998","unstructured":"Brogi, A., Jacquet, J.-M.: On the expressiveness of linda-like concurrent languages. Electron. Notes Theor. Comput. Sci. 16(2), 61\u201382 (1998)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/3-540-48919-3_11","volume-title":"Coordinatio Languages and Models","author":"A Brogi","year":"1999","unstructured":"Brogi, A., Jacquet, J.-M.: On the expressiveness of coordination models. In: Ciancarini, P., Wolf, A.L. (eds.) COORDINATION 1999. LNCS, vol. 1594, pp. 134\u2013149. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/3-540-48919-3_11"},{"key":"7_CR10","unstructured":"Brogi, A., Jacquet, J.-M. (eds.): Foclasa 2002, Foundations of Coordination Languages and Software Architectures (Satellite Workshop of CONCUR 2002), vol. 68, no. 3 (2003)"},{"issue":"1\u20132","key":"7_CR11","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/S0167-6423(02)00087-4","volume":"46","author":"A Brogi","year":"2003","unstructured":"Brogi, A., Jacquet, J.-M.: On the expressiveness of coordination via shared dataspaces. Sci. Comput. Program. 46(1\u20132), 71\u201398 (2003)","journal-title":"Sci. Comput. Program."},{"issue":"3","key":"7_CR12","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/j.scico.2007.01.009","volume":"66","author":"D Clarke","year":"2007","unstructured":"Clarke, D., Costa, D., Arbab, F.: Connector colouring I: synchronisation and context dependency. Sci. Comput. Program. 66(3), 205\u2013225 (2007)","journal-title":"Sci. Comput. Program."},{"issue":"2","key":"7_CR13","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/j.entcs.2009.06.028","volume":"229","author":"D Clarke","year":"2009","unstructured":"Clarke, D., Proen\u00e7a, J., Lazovik, A., Arbab, F.: Deconstructing Reo. Electron. Notes Theor. Comput. Sci. 229(2), 43\u201358 (2009)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"8","key":"7_CR14","doi-asserted-by":"crossref","first-page":"681","DOI":"10.1016\/j.scico.2010.05.004","volume":"76","author":"D Clarke","year":"2011","unstructured":"Clarke, D., Proen\u00e7a, J., Lazovik, A., Arbab, F.: Channel-based coordination via constraint satisfaction. Sci. Comput. Program. 76(8), 681\u2013710 (2011)","journal-title":"Sci. Comput. Program."},{"key":"7_CR15","unstructured":"Darquennes, D.: On multiplicities in coordination languages. Ph.D. thesis, Faculty of Computer Science, University of Namur, Namur, Belgium (2017)"},{"key":"7_CR16","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/978-3-642-45364-9_16","volume-title":"Advances in Service-Oriented and Cloud Computing","author":"J-M Jacquet","year":"2013","unstructured":"Jacquet, J.-M., Linden, I., Darquennes, D.: On density in coordination languages. In: Canal, C., Villari, M. (eds.) ESOCC 2013. CCIS, vol. 393, pp. 189\u2013203. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-45364-9_16"},{"key":"7_CR17","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/j.scico.2015.10.011","volume":"115\u2013116","author":"J-M Jacquet","year":"2016","unstructured":"Jacquet, J.-M., Linden, I., Darquennes, D.: On the introduction of density in tuple-space coordination languages. Sci. Comput. Program. 115\u2013116, 149\u2013176 (2016)","journal-title":"Sci. Comput. Program."},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Darquennes, D., Jacquet, J.-M., Linden, I.: On distributed density in tuple-based coordination languages. In: C\u00e1mara, J., Proen\u00e7a, J. (eds.) Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, Rome, Italy. EPTCS, vol. 175, pp. 36\u201353 (2015)","DOI":"10.4204\/EPTCS.175.3"},{"issue":"1","key":"7_CR19","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1006\/inco.1994.1004","volume":"108","author":"F Boer de","year":"1994","unstructured":"de Boer, F., Palamidessi, C.: Embedding as a tool for language comparison. Inf. Comput. 108(1), 128\u2013157 (1994)","journal-title":"Inf. Comput."},{"key":"7_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/3-540-53982-4_17","volume-title":"TAPSOFT 1991","author":"FS Boer de","year":"1991","unstructured":"de Boer, F.S., Palamidessi, C.: A fully abstract model for concurrent constraint programming. In: Abramsky, S., Maibaum, T.S.E. (eds.) CAAP 1991. LNCS, vol. 493, pp. 296\u2013319. Springer, Heidelberg (1991). https:\/\/doi.org\/10.1007\/3-540-53982-4_17"},{"key":"7_CR21","series-title":"Texts in Theoretical Computer Science. An EATCS Series","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04293-9","volume-title":"Introduction to Process Algebra","author":"W Fokkink","year":"2000","unstructured":"Fokkink, W.: Introduction to Process Algebra. Texts in Theoretical Computer Science. An EATCS Series. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/978-3-662-04293-9"},{"issue":"1","key":"7_CR22","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D Gelernter","year":"1985","unstructured":"Gelernter, D.: Generative communication in Linda. ACM Trans. Program. Lang. Syst. 7(1), 80\u2013112 (1985)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"2","key":"7_CR23","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1145\/129630.129635","volume":"35","author":"D Gelernter","year":"1992","unstructured":"Gelernter, D., Carriero, N.: Coordination languages and their significance. Commun. ACM 35(2), 97\u2013107 (1992)","journal-title":"Commun. ACM"},{"key":"7_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/3-540-45263-X_6","volume-title":"Coordination Languages and Models","author":"J-M Jacquet","year":"2000","unstructured":"Jacquet, J.-M., De Bosschere, K., Brogi, A.: On timed coordination languages. In: Porto, A., Roman, G.-C. (eds.) COORDINATION 2000. LNCS, vol. 1906, pp. 81\u201398. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-45263-X_6"},{"key":"7_CR25","unstructured":"Jacquet, J.-M., Linden, I.: Coordinating context-aware applications in mobile ad-hoc networks. In: Braun, T., Konstantas, D., Mascolo, S., Wulff, M. (eds.) Proceedings of the First ERCIM Workshop on eMobility, pp. 107\u2013118. The University of Bern (2007)"},{"issue":"2\u20133","key":"7_CR26","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/j.tcs.2008.09.020","volume":"410","author":"J-M Jacquet","year":"2009","unstructured":"Jacquet, J.-M., Linden, I.: Fully abstract models and refinements as tools to compare agents in timed coordination languages. Theoret. Comput. Sci. 410(2\u20133), 221\u2013253 (2009)","journal-title":"Theoret. Comput. Sci."},{"key":"7_CR27","doi-asserted-by":"crossref","unstructured":"Jongmans, S.T.Q., Arbab, F.: Correlating formal semantic models of reo connectors: connector coloring and constraint automata. In: Silva, A., Bliudze, S., Bruni, R., Carbone, M. (eds.) Proceedings Fourth Interaction and Concurrency Experience, ICE 2011, Reykjavik, Iceland, 9 June 2011. EPTCS, vol. 59, pp. 84\u2013103 (2011)","DOI":"10.4204\/EPTCS.59.8"},{"key":"7_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-642-21464-6_3","volume-title":"Coordination Models and Languages","author":"S-STQ Jongmans","year":"2011","unstructured":"Jongmans, S.-S.T.Q., Krause, C., Arbab, F.: Encoding context-sensitivity in Reo into non-context-sensitive semantic models. In: De Meuter, W., Roman, G.-C. (eds.) COORDINATION 2011. LNCS, vol. 6721, pp. 31\u201348. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-21464-6_3"},{"key":"7_CR29","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/j.entcs.2009.10.027","volume":"255","author":"S Kemper","year":"2009","unstructured":"Kemper, S.: SAT-based verification for timed component connectors. Electron. Notes Theor. Comput. Sci. 255, 103\u2013118 (2009)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"7_CR30","doi-asserted-by":"crossref","unstructured":"Kokash, N., Krause, C., de Vink, E.P.: Data-aware design and verification of service compositions with Reo and mCRL2. In: Shin, S.Y., Ossowski, S., Schumacher, M., Palakal, M.J., Hung, C. (eds.) Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, 22\u201326 March 2010, pp. 2406\u20132413. ACM (2010)","DOI":"10.1145\/1774088.1774590"},{"key":"7_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-642-17071-3_2","volume-title":"Formal Methods for Components and Objects","author":"N Kokash","year":"2010","unstructured":"Kokash, N., Krause, C., de Vink, E.P.: Verification of context-dependent channel-based service models. In: de Boer, F.S., Bonsangue, M.M., Hallerstede, S., Leuschel, M. (eds.) FMCO 2009. LNCS, vol. 6286, pp. 21\u201340. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-17071-3_2"},{"key":"7_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/978-3-540-24634-3_18","volume-title":"Coordination Models and Languages","author":"I Linden","year":"2004","unstructured":"Linden, I., Jacquet, J.-M.: On the expressiveness of absolute-time coordination languages. In: De Nicola, R., Ferrari, G.-L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol. 2949, pp. 232\u2013247. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24634-3_18"},{"issue":"2","key":"7_CR33","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/j.entcs.2006.10.047","volume":"180","author":"I Linden","year":"2007","unstructured":"Linden, I., Jacquet, J.-M.: On the expressiveness of timed coordination via shared dataspaces. Electron. Notes Theor. Comput. Sci. 180(2), 71\u201389 (2007)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"7_CR34","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/j.entcs.2004.04.034","volume":"97","author":"I Linden","year":"2004","unstructured":"Linden, I., Jacquet, J.-M., Bosschere, K.D., Brogi, A.: On the expressiveness of relative-timed coordination models. Electron. Notes Theor. Comput. Sci. 97, 125\u2013153 (2004)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"7_CR35","unstructured":"Papadopoulos, G., Arbab, F.: Coordination models and languages. Technical report SEN-R9834. Centrum voor Wiskunde en Informatica (CWI) (1998). ISSN 1386\u2013369X"},{"key":"7_CR36","unstructured":"Plotkin, G.: A structured approach to operational semantics. Computer Science Department, Aarhus University, DAIMI FN-19 (1981)"},{"key":"7_CR37","unstructured":"Proen\u00e7a, J.: Coordination of distributed components. Ph.D. thesis, Leiden University, Leiden, Netherland (2011)"},{"key":"7_CR38","unstructured":"Proen\u00e7a, J.: Synchronous coordination of distributed components. Ph.D. thesis, Leiden University, May 2011"},{"key":"7_CR39","doi-asserted-by":"crossref","unstructured":"Proenca, J., Clarke, D., de Vink, E., Arbab, F.: Decoupled execution of synchronous coordination models via behavioural automata. In: Mousavi, M., Ravara, A. (eds.) Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures. EPTCS, vol. 58, pp. 65\u201379 (2011)","DOI":"10.4204\/EPTCS.58.5"},{"key":"7_CR40","doi-asserted-by":"crossref","unstructured":"Proen\u00e7a, J., Clarke, D., de Vink, E., Arbab, F.: Dreams: a framework for distributed synchronous coordination. In: Ossowski, S., Lecca, P. (eds.) Proceedings of the ACM Symposium on Applied Computing, pp. 1510\u20131515. ACM (2012)","DOI":"10.1145\/2245276.2232017"},{"issue":"3","key":"7_CR41","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1111\/1467-8659.1030209","volume":"10","author":"D Soede","year":"1991","unstructured":"Soede, D., Arbab, F., Herman, I., ten Hagen, P.J.W.: The GKS input model in MANIFOLD. Comput. Graph. Forum 10(3), 209\u2013224 (1991)","journal-title":"Comput. Graph. Forum"}],"container-title":["Lecture Notes in Computer Science","It's All About Coordination"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-90089-6_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,17]],"date-time":"2019-10-17T09:11:52Z","timestamp":1571303512000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-90089-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319900889","9783319900896"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-90089-6_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}