{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:15:25Z","timestamp":1725567325706},"publisher-location":"Berlin, Heidelberg","reference-count":81,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642156533"},{"type":"electronic","value":"9783642156540"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15654-0_1","type":"book-chapter","created":{"date-parts":[[2010,9,30]],"date-time":"2010-09-30T07:40:26Z","timestamp":1285832426000},"page":"1-28","source":"Crossref","is-referenced-by-count":0,"title":["Elements of Interaction"],"prefix":"10.1007","author":[{"given":"Farhad","family":"Arbab","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Distributed Reo, http:\/\/reo.project.cwi.nl\/cgi-bin\/trac.cgi\/reo\/wiki\/Redrum\/BigPicture"},{"key":"1_CR2","unstructured":"Eclipse coordination tools home page, http:\/\/reo.project.cwi.nl\/cgi-bin\/trac.cgi\/reo\/wiki\/Tools"},{"key":"1_CR3","unstructured":"mcrl2 home page, http:\/\/www.mcrl2.org"},{"key":"1_CR4","unstructured":"Prism, http:\/\/www.prismmodelchecker.org"},{"key":"1_CR5","unstructured":"Reo home page, http:\/\/reo.project.cwi.nl"},{"key":"1_CR6","unstructured":"Vereofy home page, http:\/\/www.vereofy.de\/"},{"key":"1_CR7","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"Actors: A Model of Concurrent Computation in Distributed Systems","author":"G. Agha","year":"1986","unstructured":"Agha, G.: Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge (1986)"},{"key":"1_CR8","first-page":"147","volume-title":"TASE","author":"B.K. Aichernig","year":"2009","unstructured":"Aichernig, B.K., Arbab, F., Astefanoaei, L., de Boer, F.S., Meng, S., Rutten, J.J.M.M.: Fault-based test case generation for component connectors. In: Chin, W.-N., Qin, S. (eds.) TASE, pp. 147\u2013154. IEEE Computer Society, Los Alamitos (2009)"},{"key":"1_CR9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511615320","volume-title":"Principles of Constraint Programming","author":"K. Apt","year":"2003","unstructured":"Apt, K.: Principles of Constraint Programming. Cambridge University Press, Cambridge (2003)"},{"issue":"3","key":"1_CR10","doi-asserted-by":"publisher","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. Mathematical. Structures in Comp. Sci.\u00a014(3), 329\u2013366 (2004)","journal-title":"Mathematical. Structures in Comp. Sci."},{"issue":"1-3","key":"1_CR11","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.scico.2004.05.010","volume":"55","author":"F. Arbab","year":"2005","unstructured":"Arbab, F.: Abstract Behavior Types: a foundation model for components and their composition. Sci. Comput. Program.\u00a055(1-3), 3\u201352 (2005)","journal-title":"Sci. Comput. Program."},{"key":"1_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-540-89674-6_8","volume-title":"Intelligent Agents and Multi-Agent Systems","author":"F. Arbab","year":"2008","unstructured":"Arbab, F., Astefanoaei, L., de Boer, F.S., Dastani, M., Meyer, J.-J.C., Tinnemeier, N.A.M.: Reo connectors as coordination artifacts in 2APL systems. In: Bui, T.D., Ho, T.V., Ha, Q.T. (eds.) PRIMA 2008. LNCS (LNAI), vol.\u00a05357, pp. 42\u201353. Springer, Heidelberg (2008)"},{"issue":"1","key":"1_CR13","doi-asserted-by":"publisher","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. Software and System Modeling\u00a06(1), 59\u201382 (2007)","journal-title":"Software and System Modeling"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/978-3-642-03429-9_4","volume-title":"WADT 2008","author":"F. Arbab","year":"2009","unstructured":"Arbab, F., Bruni, R., Clarke, D., Lanese, I., Montanari, U.: Tiles for Reo. In: Corradini, A., Montanari, U. (eds.) WADT 2008. LNCS, vol.\u00a05486, pp. 37\u201355. Springer, Heidelberg (2009)"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/978-3-540-72794-1_16","volume-title":"Coordination Models and Languages","author":"F. Arbab","year":"2007","unstructured":"Arbab, F., Chothia, T., Meng, S., Moon, Y.-J.: Component connectors with QoS guarantees. In: Murphy, A.L., Vitek, J. (eds.) COORDINATION 2007. LNCS, vol.\u00a04467, pp. 286\u2013304. Springer, Heidelberg (2007)"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Arbab, F., Chothia, T., van der Mei, R., Meng, S., Moon, Y.-J., Verhoef, C.: From coordination to stochastic models of QoS. In: Field, Vasconcelos [39], pp. 268\u2013287","DOI":"10.1007\/978-3-642-02053-7_14"},{"key":"1_CR17","unstructured":"Arbab, F., Koehler, C., Maraikar, Z., Moon, Y.-J., Proen\u00e7a, J.: Modeling, testing and executing Reo connectors with the Eclipse Coordination Tools. In: Tool demo session at FACS 2008 (2008)"},{"key":"1_CR18","series-title":"Communications in Computer and Information Science","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1007\/978-3-540-88479-8_9","volume-title":"ISoLA","author":"F. Arbab","year":"2008","unstructured":"Arbab, F., Kokash, N., Meng, S.: Towards using Reo for compliance-aware business process modeling. In: Margaria, T., Steffen, B. (eds.) ISoLA. Communications in Computer and Information Science, vol.\u00a017, pp. 108\u2013123. Springer, Heidelberg (2008)"},{"key":"1_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-540-87891-9_8","volume-title":"Component-Based Software Engineering","author":"F. Arbab","year":"2008","unstructured":"Arbab, F., Meng, S.: Synthesis of connectors from scenario-based interaction specifications. In: Chaudron, M.R.V., Szyperski, C., Reussner, R. (eds.) CBSE 2008. LNCS, vol.\u00a05282, pp. 114\u2013129. Springer, Heidelberg (2008)"},{"issue":"2","key":"1_CR20","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/j.entcs.2009.06.027","volume":"229","author":"F. Arbab","year":"2009","unstructured":"Arbab, F., Meng, S., Baier, C.: Synthesis of Reo circuits from scenario-based specifications. Electr. Notes Theor. Comput. Sci.\u00a0229(2), 21\u201341 (2009)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"1_CR21","first-page":"287","volume-title":"ESEC\/SIGSOFT FSE","author":"F. Arbab","year":"2009","unstructured":"Arbab, F., Meng, S., Moon, Y.-J., Kwiatkowska, M.Z., Qu, H.: Reo2mc: a tool chain for performance analysis of coordination models. In: van Vliet, H., Issarny, V. (eds.) ESEC\/SIGSOFT FSE, pp. 287\u2013288. ACM, New York (2009)"},{"key":"1_CR22","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 2003. LNCS, vol.\u00a02755, pp. 34\u201355. Springer, Heidelberg (2003)"},{"key":"1_CR23","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511624193","volume-title":"Process Algebra","author":"J.C.M. Baeten","year":"1990","unstructured":"Baeten, J.C.M., Weijland, W.P.: Process Algebra. Cambridge University Press, Cambridge (1990)"},{"issue":"10","key":"1_CR24","first-page":"1718","volume":"11","author":"C. Baier","year":"2005","unstructured":"Baier, C.: Probabilistic models for Reo connector circuits. Journal of Universal Computer Science\u00a011(10), 1718\u20131748 (2005)","journal-title":"Journal of Universal Computer Science"},{"key":"1_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-642-04167-9_5","volume-title":"Formal Methods for Components and Objects","author":"C. Baier","year":"2009","unstructured":"Baier, C., Blechmann, T., Klein, J., Kl\u00fcppelholz, S.: Formal verification for components and connectors. In: de Boer, F.S., Bonsangue, M.M., Madelaine, E. (eds.) FMCO 2008. LNCS, vol.\u00a05751, pp. 82\u2013101. Springer, Heidelberg (2009)"},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"Baier, C., Blechmann, T., Klein, J., Kl\u00fcppelholz, S.: A uniform framework for modeling and verifying components and connectors. In: Field, Vasconcelos [39], pp. 247\u2013267","DOI":"10.1007\/978-3-642-02053-7_13"},{"issue":"2","key":"1_CR27","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/j.scico.2005.10.008","volume":"61","author":"C. Baier","year":"2006","unstructured":"Baier, C., Sirjani, M., Arbab, F., Rutten, J.J.M.M.: Modeling component connectors in Reo by constraint automata. Sci. Comput. Program.\u00a061(2), 75\u2013113 (2006)","journal-title":"Sci. Comput. Program."},{"key":"1_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11767954_1","volume-title":"Coordination Models and Languages","author":"C. Baier","year":"2006","unstructured":"Baier, C., Wolf, V.: Stochastic reasoning about channel-based component connectors. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol.\u00a04038, pp. 1\u201315. Springer, Heidelberg (2006)"},{"key":"1_CR29","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","volume":"60","author":"J.A. Bergstra","year":"1984","unstructured":"Bergstra, J.A., Klop, J.W.: Process algebra for synchronous communication. Information and Control\u00a060, 109\u2013137 (1984)","journal-title":"Information and Control"},{"key":"1_CR30","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/j.entcs.2008.06.029","volume":"215","author":"T. Blechmann","year":"2008","unstructured":"Blechmann, T., Baier, C.: Checking equivalence for Reo networks. Electr. Notes Theor. Comput. Sci.\u00a0215, 209\u2013226 (2008)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"1_CR31","doi-asserted-by":"crossref","unstructured":"Bonsangue, M.M., Clarke, D., Silva, A.: Automata for context-dependent connectors. In: Field, Vasconcelos [39], pp. 184\u2013203","DOI":"10.1007\/978-3-642-02053-7_10"},{"key":"1_CR32","unstructured":"Changizi, B., Kokash, N., Arbab, F.: A unified toolset for business process model formalization. In: Proc. of the 7th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2010 (2010); satellite event of ETAPS"},{"key":"1_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/978-3-540-92188-2_10","volume-title":"Formal Methods for Components and Objects","author":"D. Clarke","year":"2008","unstructured":"Clarke, D.: Coordination: Reo, nets, and logic. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2007. LNCS, vol.\u00a05382, pp. 226\u2013256. Springer, Heidelberg (2008)"},{"issue":"4","key":"1_CR34","first-page":"361","volume":"82","author":"D. Clarke","year":"2008","unstructured":"Clarke, D.: A basic logic for reasoning about connector reconfiguration. Fundam. Inform.\u00a082(4), 361\u2013390 (2008)","journal-title":"Fundam. Inform."},{"key":"1_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/11925040_2","volume-title":"Leveraging Applications of Formal Methods","author":"D. Clarke","year":"2006","unstructured":"Clarke, D., Costa, D., Arbab, F.: Modelling coordination in biological systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2004. LNCS, vol.\u00a04313, pp. 9\u201325. Springer, Heidelberg (2006)"},{"issue":"3","key":"1_CR36","doi-asserted-by":"publisher","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.\u00a066(3), 205\u2013225 (2007)","journal-title":"Sci. Comput. Program."},{"issue":"2","key":"1_CR37","doi-asserted-by":"publisher","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. Electr. Notes Theor. Comput. Sci.\u00a0229(2), 43\u201358 (2009)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"1_CR38","unstructured":"Costa, D.: Formal Models for Context Dependent Connectors for Distributed Software Components and Services. Leiden University (2010)"},{"key":"1_CR39","series-title":"Lecture Notes in Computer Science","volume-title":"COORDINATION 2009","year":"2009","unstructured":"Field, J., Vasconcelos, V.T. (eds.): COORDINATION 2009. LNCS, vol.\u00a05521. Springer, Heidelberg (2009)"},{"key":"1_CR40","series-title":"Texts in Theoretical Computer Science, An EATCS Series","volume-title":"Introduction to Process Algebra","author":"W. Fokkink","year":"1999","unstructured":"Fokkink, W.: Introduction to Process Algebra. Texts in Theoretical Computer Science, An EATCS Series. Springer, Heidelberg (1999)"},{"key":"1_CR41","doi-asserted-by":"crossref","first-page":"133","DOI":"10.7551\/mitpress\/5641.003.0010","volume-title":"Proof, Language and Interaction: Essays in Honour of Robin Milner","author":"F. Gadducci","year":"2000","unstructured":"Gadducci, F., Montanari, U.: The tile model. In: Plotkin, G.D., Stirling, C., Tofte, M. (eds.) Proof, Language and Interaction: Essays in Honour of Robin Milner, pp. 133\u2013166. MIT Press, Boston (2000)"},{"key":"1_CR42","unstructured":"Groote, J.F., Mathijssen, A., Reniers, M.A., Usenko, Y.S., van Weerdenburg, M.: The formal specification language mcrl2. In: Brinksma, E., Harel, D., Mader, A., Stevens, P., Wieringa, R. (eds.) MMOSS. Dagstuhl Seminar Proceedings, vol.\u00a006351, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany (2006)"},{"key":"1_CR43","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"1_CR44","volume-title":"Unifying Theories of Programming","author":"C.A.R. Hoare","year":"1998","unstructured":"Hoare, C.A.R., Jifeng, H.: Unifying Theories of Programming. Prentice Hall, London (1998)"},{"key":"1_CR45","first-page":"303","volume-title":"SEFM","author":"M. Izadi","year":"2008","unstructured":"Izadi, M., Bonsangue, M.M., Clarke, D.: Modeling component connectors: Synchronisation and context-dependency. In: Cerone, A., Gruner, S. (eds.) SEFM, pp. 303\u2013312. IEEE Computer Society, Los Alamitos (2008)"},{"key":"1_CR46","unstructured":"Kanters, O.: QoS analysis by simulation in Reo. Vrije Universiteit Amsterdam (2010)"},{"key":"1_CR47","doi-asserted-by":"publisher","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. Electr. Notes Theor. Comput. Sci.\u00a0255, 103\u2013118 (2009)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"1_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-642-13414-2_7","volume-title":"Coordination Models and Languages","author":"S. Kemper","year":"2010","unstructured":"Kemper, S.: Compositional construction of real-time dataflow networks. In: Clarke, D., Agha, G. (eds.) COORDINATION 2010. LNCS, vol.\u00a06116, pp. 92\u2013106. Springer, Heidelberg (2010)"},{"key":"1_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-02138-1_1","volume-title":"Formal Techniques for Distributed Systems","author":"D. Kitchin","year":"2009","unstructured":"Kitchin, D., Quark, A., Cook, W.R., Misra, J.: The Orc programming language. In: Lee, D., Lopes, A., Poetzsch-Heffter, A. (eds.) FMOODS 2009. LNCS, vol.\u00a05522, pp. 1\u201325. Springer, Heidelberg (2009)"},{"issue":"2","key":"1_CR50","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/j.entcs.2007.03.003","volume":"175","author":"S. Kl\u00fcppelholz","year":"2007","unstructured":"Kl\u00fcppelholz, S., Baier, C.: Symbolic model checking for channel-based component connectors. Electr. Notes Theor. Comput. Sci\u00a0175(2), 19\u201337 (2007)","journal-title":"Electr. Notes Theor. Comput. Sci"},{"key":"1_CR51","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/978-3-642-03429-9_15","volume-title":"WADT 2008","author":"C. Koehler","year":"2009","unstructured":"Koehler, C., Arbab, F., de Vink, E.P.: Reconfiguring distributed Reo connectors. In: Corradini, A., Montanari, U. (eds.) WADT 2008. LNCS, vol.\u00a05486, pp. 221\u2013235. Springer, Heidelberg (2009)"},{"key":"#cr-split#-1_CR52.1","unstructured":"Koehler, C., Costa, D., Proen\u00e7a, J., Arbab, F.: Reconfiguration of Reo connectors triggered by dataflow. In: Ermel, C., Heckel, R., de Lara, J. (eds.) Proceedings of the 7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008), vol.\u00a010, pp. 1\u201313 (2008);"},{"key":"#cr-split#-1_CR52.2","unstructured":"ECEASST, ISSN 1863-2122, http:\/\/www.easst.org\/eceasst\/"},{"key":"1_CR53","doi-asserted-by":"crossref","unstructured":"Koehler, C., Lazovik, A., Arbab, F.: Reoservice: Coordination modeling tool. In: Kr\u00e4mer et\u00a0al [60], pp. 625\u2013626","DOI":"10.1007\/978-3-540-74974-5_60"},{"key":"1_CR54","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1007\/978-3-540-74974-5_60","volume-title":"Service-Oriented Computing \u2013 ICSOC 2007","author":"C. Koehler","year":"2007","unstructured":"Koehler, C., Lazovik, A., Arbab, F.: Reoservice: Coordination modeling tool. In: Kr\u00e4mer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol.\u00a04749, pp. 625\u2013626. Springer, Heidelberg (2007)"},{"key":"1_CR55","doi-asserted-by":"publisher","first-page":"2406","DOI":"10.1145\/1774088.1774590","volume-title":"SAC 2010: Proc. of the 2010 ACM Symposium on Applied Computing","author":"N. Kokash","year":"2010","unstructured":"Kokash, N., Krause, C., de Vink, E.P.: Data-aware design and verification of service compositions with Reo and mCRL2. In: SAC 2010: Proc. of the 2010 ACM Symposium on Applied Computing, pp. 2406\u20132413. ACM, New York (2010)"},{"key":"1_CR56","volume-title":"SEFM 2010: Proc. 8th IEEE International Conference on Software Engineering and Formal Methods","author":"N. Kokash","year":"2010","unstructured":"Kokash, N., Krause, C., de Vink, E.P.: Time and data-aware analysis of graphical service models in Reo. In: SEFM 2010: Proc. 8th IEEE International Conference on Software Engineering and Formal Methods. IEEE, Los Alamitos (to appear, 2010)"},{"key":"1_CR57","series-title":"Lecture Notes in Computer Science","volume-title":"FMCO 2009: Formal Methods for Components and Objects: 8th International Symposium","author":"N. Kokash","year":"2010","unstructured":"Kokash, N., Krause, C., de Vink, E.P.: Verification of context-dependent channel-based service models. In: FMCO 2009: Formal Methods for Components and Objects: 8th International Symposium. LNCS. Springer, Heidelberg (to appear, 2010)"},{"key":"1_CR58","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-642-04167-9_2","volume-title":"Formal Methods for Components and Objects","author":"N. Kokash","year":"2009","unstructured":"Kokash, N., Arbab, F.: Formal behavioral modeling and compliance analysis for service-oriented systems. In: de Boer, F.S., Bonsangue, M.M., Madelaine, E. (eds.) FMCO 2008. LNCS, vol.\u00a05751, pp. 21\u201341. Springer, Heidelberg (2009)"},{"key":"1_CR59","doi-asserted-by":"publisher","first-page":"1381","DOI":"10.1145\/1529282.1529590","volume-title":"SAC","author":"N. Kokash","year":"2009","unstructured":"Kokash, N., Arbab, F.: Applying Reo to service coordination in long-running business transactions. In: Shin, S.Y., Ossowski, S. (eds.) SAC, pp. 1381\u20131382. ACM, New York (2009)"},{"key":"1_CR60","series-title":"Lecture Notes in Computer Science","volume-title":"ICSOC 2007","year":"2007","unstructured":"Kr\u00e4mer, B.J., Lin, K.-J., Narasimhan, P. (eds.): ICSOC 2007. LNCS, vol.\u00a04749. Springer, Heidelberg (2007)"},{"key":"1_CR61","doi-asserted-by":"crossref","unstructured":"Krause, C.: Integrated structure and semantics for Reo connectors and Petri nets. In: ICE 2009: Proc. 2nd Interaction and Concurrency Experience Workshop. Electronic Proceedings in Theoretical Computer Science, vol.\u00a012, p. 57 (2009)","DOI":"10.4204\/EPTCS.12.4"},{"key":"1_CR62","doi-asserted-by":"crossref","unstructured":"Lazovik, A., Arbab, F.: Using Reo for service coordination. In: Kr\u00e4mer et\u00a0al. [60], pp. 398\u2013403","DOI":"10.1007\/978-3-540-74974-5_34"},{"key":"1_CR63","volume-title":"Proceedings of the 3rd European Young Researchers Workshop on Service Oriented Computing (YR-SOC 2008)","author":"Z. Maraikar","year":"2008","unstructured":"Maraikar, Z., Lazovik, A.: Reforming mashups. In: Proceedings of the 3rd European Young Researchers Workshop on Service Oriented Computing (YR-SOC 2008), June 2008. Imperial College, London (2008)"},{"key":"1_CR64","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/978-3-540-72952-5_19","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"S. Meng","year":"2007","unstructured":"Meng, S., Arbab, F.: On resource-sensitive timed component connectors. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol.\u00a04468, pp. 301\u2013316. Springer, Heidelberg (2007)"},{"key":"1_CR65","first-page":"160","volume-title":"ACSD","author":"S. Meng","year":"2008","unstructured":"Meng, S., Arbab, F.: QoS-driven service selection and composition. In: Billington, J., Duan, Z., Koutny, M. (eds.) ACSD, pp. 160\u2013169. IEEE, Los Alamitos (2008)"},{"key":"1_CR66","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/j.entcs.2009.10.028","volume":"255","author":"S. Meng","year":"2009","unstructured":"Meng, S., Arbab, F.: Connectors as designs. Electr. Notes Theor. Comput. Sci.\u00a0255, 119\u2013135 (2009)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"1_CR67","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communication Systems. LNCS, vol.\u00a092. Springer, Heidelberg (1980)"},{"issue":"1","key":"1_CR68","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1145\/151233.151240","volume":"36","author":"R. Milner","year":"1993","unstructured":"Milner, R.: Elements of interaction - turing award lecture. Commun. ACM\u00a036(1), 78\u201389 (1993)","journal-title":"Commun. ACM"},{"issue":"1","key":"1_CR69","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/s10270-006-0012-1","volume":"6","author":"J. Misra","year":"2007","unstructured":"Misra, J., Cook, W.R.: Computation orchestration. Software and System Modeling\u00a06(1), 83\u2013110 (2007)","journal-title":"Software and System Modeling"},{"key":"1_CR70","doi-asserted-by":"crossref","unstructured":"Moon, Y.-J., Silva, A., Krause, C., Arbab, F.: A compositional semantics for stochastic Reo connectors. In: Proceedings of the 9th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA (2010)","DOI":"10.4204\/EPTCS.30.7"},{"issue":"1","key":"1_CR71","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/j.entcs.2005.12.034","volume":"154","author":"M.R. Mousavi","year":"2006","unstructured":"Mousavi, M.R., Sirjani, M., Arbab, F.: Formal semantics and analysis of component connectors in Reo. Electr. Notes Theor. Comput. Sci\u00a0154(1), 83\u201399 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci"},{"key":"1_CR72","unstructured":"Odersky, M.: Report on the programming language Scala (2002), http:\/\/lamp.epfl.ch\/~odersky\/scala\/reference.ps"},{"key":"1_CR73","doi-asserted-by":"crossref","unstructured":"Proen\u00e7a, J.: Dreams: A Distributed Framework for Synchronous Coordination. Leiden University (2011)","DOI":"10.1145\/2245276.2232017"},{"issue":"4","key":"1_CR74","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/j.entcs.2008.03.099","volume":"194","author":"J. Proen\u00e7a","year":"2008","unstructured":"Proen\u00e7a, J., Clarke, D.: Coordination models orc and reo compared. Electr. Notes Theor. Comput. Sci.\u00a0194(4), 57\u201376 (2008)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"1_CR75","doi-asserted-by":"crossref","unstructured":"Rutten: Behavioural differential equations: A coinductive calculus of streams, automata, and power series. TCS: Theoretical Computer Science\u00a0308 (2003)","DOI":"10.1016\/S0304-3975(02)00895-2"},{"key":"1_CR76","doi-asserted-by":"crossref","unstructured":"Rutten, J.J.M.M.: Elements of stream calculus (an extensive exercise in coinduction). Electr. Notes Theor. Comput. Sci.\u00a045 (2001)","DOI":"10.1016\/S1571-0661(04)80972-1"},{"issue":"1","key":"1_CR77","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1017\/S0960129504004517","volume":"15","author":"J.J.M.M. Rutten","year":"2005","unstructured":"Rutten, J.J.M.M.: A coinductive calculus of streams. Mathematical Structures in Computer Science\u00a015(1), 93\u2013147 (2005)","journal-title":"Mathematical Structures in Computer Science"},{"key":"1_CR78","volume-title":"PI-Calculus: A Theory of Mobile Processes","author":"D. Sangiorgi","year":"2001","unstructured":"Sangiorgi, D., Walker, D.: PI-Calculus: A Theory of Mobile Processes. Cambridge University Press, New York (2001)"},{"key":"1_CR79","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1007\/3-540-61052-9_37","volume-title":"Coordination Languages and Models","author":"P. Wegner","year":"1996","unstructured":"Wegner, P.: Coordination as comstrainted interaction (extended abstract). In: Ciancarini, P., Hankin, C. (eds.) COORDINATION 1996. LNCS, vol.\u00a01061, pp. 28\u201333. Springer, Heidelberg (1996)"},{"key":"1_CR80","series-title":"Springer Series on Agent Technology","volume-title":"Distributed Constraint Satisfaction: Foundations of Cooperaton in Multi-Agent Systems","author":"M. Yokoo","year":"2000","unstructured":"Yokoo, M.: Distributed Constraint Satisfaction: Foundations of Cooperaton in Multi-Agent Systems. Springer Series on Agent Technology. Springer, New York (2000); NTT"}],"container-title":["Complex Systems Design & Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15654-0_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,30]],"date-time":"2024-03-30T21:16:42Z","timestamp":1711833402000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15654-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642156533","9783642156540"],"references-count":81,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15654-0_1","relation":{},"subject":[],"published":{"date-parts":[[2010]]}}}