{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,28]],"date-time":"2025-05-28T19:10:02Z","timestamp":1748459402680,"version":"3.41.0"},"publisher-location":"Cham","reference-count":74,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319189406"},{"type":"electronic","value":"9783319189413"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-18941-3_2","type":"book-chapter","created":{"date-parts":[[2015,5,6]],"date-time":"2015-05-06T15:14:47Z","timestamp":1430925287000},"page":"57-96","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Coordinating Multicore Computing"],"prefix":"10.1007","author":[{"given":"Farhad","family":"Arbab","sequence":"first","affiliation":[]},{"given":"Sung-Shik T. Q.","family":"Jongmans","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,5,7]]},"reference":[{"key":"2_CR1","unstructured":"CADP home page. http:\/\/www.inrialpes.fr\/vasy\/cadp\/"},{"key":"2_CR2","unstructured":"Extensible Coordination Tools home page. http:\/\/reo.project.cwi.nl\/cgi-bin\/trac.cgi\/reo\/wiki\/Tools"},{"key":"2_CR3","unstructured":"mCRL2 home page. http:\/\/www.mcrl2.org"},{"key":"2_CR4","unstructured":"Reo home page. http:\/\/reo.project.cwi.nl"},{"key":"2_CR5","unstructured":"Vereofy home page. http:\/\/www.vereofy.de\/"},{"key":"2_CR6","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)"},{"issue":"3","key":"2_CR7","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. Math. Struct. Comput. Sci. 14(3), 329\u2013366 (2004)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"1\u20133","key":"2_CR8","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. 55(1\u20133), 3\u201352 (2005)","journal-title":"Sci. Comput. Program."},{"key":"2_CR9","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)"},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science (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., A\u015ftef\u0103noaei, L., de Boer, F.S., Dastani, M., Meyer, J.-J., Tinnermeier, N.: Reo connectors as coordination artifacts in 2APL systems. In: Bui, T.D., Ho, T.V., Ha, Q.T. (eds.) PRIMA 2008. LNCS (LNAI), vol. 5357, pp. 42\u201353. Springer, Heidelberg (2008)"},{"issue":"1","key":"2_CR11","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. Softw. Syst. Model. 6(1), 59\u201382 (2007)","journal-title":"Softw. Syst. Model."},{"key":"2_CR12","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. 4467, pp. 286\u2013304. Springer, Heidelberg (2007)"},{"key":"2_CR13","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 and Vasconcelos [35], pp. 268\u2013287","DOI":"10.1007\/978-3-642-02053-7_14"},{"key":"2_CR14","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-540-88479-8_9","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","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 2008. CCIS, vol. 17, pp. 108\u2013123. Springer, Heidelberg (2008)"},{"key":"2_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/3-540-46000-4_6","volume-title":"Coordination Models and Languages","author":"F Arbab","year":"2002","unstructured":"Arbab, F., Mavaddat, F.: Coordination through channel composition. In: Arbab, F., Talcott, C. (eds.) COORDINATION 2002. LNCS, vol. 2315, pp. 22\u201339. Springer, Heidelberg (2002)"},{"key":"2_CR16","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., Ren, X.-M., Reussner, R. (eds.) CBSE 2008. LNCS, vol. 5282, pp. 114\u2013129. Springer, Heidelberg (2008)"},{"key":"2_CR17","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)"},{"issue":"3","key":"2_CR18","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1109\/MM.2010.54","volume":"30","author":"DA Arvind","year":"2010","unstructured":"Arvind, D.A., Pingali, K., Chiou, D., Sendag, R., Yi, J.: Programming multicores: do applications programmers need to write explicitly parallel programs? IEEE Micro 30(3), 19\u201333 (2010)","journal-title":"IEEE Micro"},{"key":"2_CR19","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624193","volume-title":"Process Algebra","author":"JCM Baeten","year":"1990","unstructured":"Baeten, J.C.M., Weijland, W.P.: Process Algebra. Cambridge University Press, Cambridge (1990)"},{"issue":"10","key":"2_CR20","first-page":"1718","volume":"11","author":"C Baier","year":"2005","unstructured":"Baier, C.: Probabilistic models for Reo connector circuits. J. Univers. Comput. Sci. 11(10), 1718\u20131748 (2005)","journal-title":"J. Univers. Comput. Sci."},{"key":"2_CR21","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. 5751, pp. 82\u2013101. Springer, Heidelberg (2009)"},{"key":"2_CR22","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 and Vasconcelos [35], pp. 247\u2013267","DOI":"10.1007\/978-3-642-02053-7_13"},{"key":"2_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-642-16561-0_15","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"C Baier","year":"2010","unstructured":"Baier, C., Blechmann, T., Klein, J., Kl\u00fcppelholz, S., Leister, W.: Design and verification of systems with exogenous coordination using vereofy. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010, Part II. LNCS, vol. 6416, pp. 97\u2013111. Springer, Heidelberg (2010)"},{"key":"2_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-642-21455-4_4","volume-title":"Formal Methods for Eternal Networked Software Systems","author":"C Baier","year":"2011","unstructured":"Baier, C., Klein, J., Kl\u00fcppelholz, S.: Modeling and verification of components and connectors. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol. 6659, pp. 114\u2013147. Springer, Heidelberg (2011)"},{"issue":"2","key":"2_CR25","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. 61(2), 75\u2013113 (2006)","journal-title":"Sci. Comput. Program."},{"key":"2_CR26","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. 4038, pp. 1\u201315. Springer, Heidelberg (2006)"},{"key":"2_CR27","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","volume":"60","author":"JA Bergstra","year":"1984","unstructured":"Bergstra, J.A., Klop, J.W.: Process algebra for synchronous communication. Inf. Control 60, 109\u2013137 (1984)","journal-title":"Inf. Control"},{"key":"2_CR28","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 215, 209\u2013226 (2008)","journal-title":"Electr. Notes Theor. Comput. Sci"},{"key":"2_CR29","doi-asserted-by":"crossref","unstructured":"Bonsangue, M.M., Clarke, D., Silva, A.: Automata for context-dependent connectors. In: Field and Vasconcelos [35], pp. 184\u2013203","DOI":"10.1007\/978-3-642-02053-7_10"},{"key":"2_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/978-3-642-11623-0_15","volume-title":"Fundamentals of Software Engineering","author":"MM Bonsangue","year":"2010","unstructured":"Bonsangue, M.M., Izadi, M.: Automata based model checking for reo connectors. In: Arbab, F., Sirjani, M. (eds.) FSEN 2009. LNCS, vol. 5961, pp. 260\u2013275. Springer, Heidelberg (2010)"},{"key":"2_CR31","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. 4313, pp. 9\u201325. Springer, Heidelberg (2006)"},{"issue":"3","key":"2_CR32","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. 66(3), 205\u2013225 (2007)","journal-title":"Sci. Comput. Program."},{"issue":"8","key":"2_CR33","doi-asserted-by":"publisher","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":"2_CR34","unstructured":"Costa, D.: Formal models for context dependent connectors for distributed software components and services. Ph.D. thesis, Vrije Universiteit Amsterdam (2010). http:\/\/dare.ubvu.vu.nl\/\/handle\/1871\/16380"},{"key":"2_CR35","series-title":"Lecture Notes in Computer Science","volume-title":"Coordination Models and Languages","year":"2009","unstructured":"Field, J., Vasconcelos, V.T. (eds.): COORDINATION 2009. LNCS, vol. 5521. Springer, Heidelberg (2009)"},{"key":"2_CR36","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, Berlin (1999)"},{"key":"2_CR37","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/j.entcs.2010.08.047","volume":"266","author":"I Grabe","year":"2010","unstructured":"Grabe, I., Jaghoori, M.M., Aichernig, B.K., Baier, C., Blechmann, T., de Boer, F.S., Griesmayer, A., Johnsen, E.B., Klein, J., Kl\u00fcppelholz, S., Kyas, M., Leister, W., Schlatte, R., Stam, A., Steffen, M., Tschirner, S., Xuedong, L., Yi, W.: Credo methodology: modeling and analyzing a peer-to-peer system in credo. Electr. Notes. Theor. Comput. Sci. 266, 33\u201348 (2010)","journal-title":"Electr. Notes. Theor. Comput. Sci."},{"key":"2_CR38","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. 06351. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany (2006)"},{"issue":"6","key":"2_CR39","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1145\/1453775.1453793","volume":"42","author":"R Hamberg","year":"2008","unstructured":"Hamberg, R., Vaandrager, F.: Using model checkers in an introductory course on operating systems. Oper. Syst. Rev. 42(6), 101\u2013111 (2008)","journal-title":"Oper. Syst. Rev."},{"key":"2_CR40","volume-title":"Communicating Sequential Processes","author":"CAR Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Upper Saddle River (1985)"},{"key":"2_CR41","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)"},{"issue":"2","key":"2_CR42","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/s10270-010-0152-1","volume":"10","author":"M Izadi","year":"2011","unstructured":"Izadi, M., Bonsangue, M.M., Clarke, D.: B\u00fcchi automata for modeling component connectors. Softw. Syst. Model. 10(2), 183\u2013200 (2011)","journal-title":"Softw. Syst. Model."},{"issue":"11","key":"2_CR43","doi-asserted-by":"publisher","first-page":"2426","DOI":"10.1080\/00207160902915886","volume":"87","author":"M Izadi","year":"2010","unstructured":"Izadi, M., Movaghar, A.: Failure-based equivalence of constraint automata. Int. J. Comput. Math. 87(11), 2426\u20132443 (2010)","journal-title":"Int. J. Comput. Math."},{"issue":"1","key":"2_CR44","first-page":"201","volume":"22","author":"S-S Jongmans","year":"2012","unstructured":"Jongmans, S.-S., Arbab, F.: Overview of thirty semantic formalisms for Reo. Sci. Ann. Comput. Sci. 22(1), 201\u2013251 (2012)","journal-title":"Sci. Ann. Comput. Sci."},{"key":"2_CR45","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-642-45364-9_15","volume-title":"Advances in Service-Oriented and Cloud Computing","author":"S-STQ Jongmans","year":"2013","unstructured":"Jongmans, S.-S.T.Q., Arbab, F.: Global consensus through local synchronization. In: Canal, C., Villari, M. (eds.) ESOCC 2013. CCIS, vol. 393, pp. 174\u2013188. Springer, Heidelberg (2013)"},{"key":"2_CR46","doi-asserted-by":"crossref","unstructured":"Jongmans, S.-S., Arbab, F.: Modularizing and specifying protocols among threads.In: Proceedings of PLACES 2012. EPTCS, vol. 109, pp. 34\u201345. CoRR (2013)","DOI":"10.4204\/EPTCS.109.6"},{"key":"2_CR47","doi-asserted-by":"crossref","unstructured":"Jongmans, S.-S., Arbab, F.: Toward sequentializing overparallelized protocol code. In: Proceedings of ICE 2014. EPTCS, vol. 166, pp. 38\u201344. CoRR (2014)","DOI":"10.4204\/EPTCS.166.5"},{"key":"2_CR48","doi-asserted-by":"crossref","unstructured":"Jongmans, S.-S., Arbab, F.: Can high throughput atone for high latency in compiler-generated protocol code? In: Proceedings of FSEN 2015. Springer (in press)","DOI":"10.1007\/978-3-319-24644-4_17"},{"key":"2_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/978-3-662-43376-8_5","volume-title":"Coordination Models and Languages","author":"S-STQ Jongmans","year":"2014","unstructured":"Jongmans, S.-S.T.Q., Halle, S., Arbab, F.: Automata-based optimization of interaction protocols for scalable multicore platforms. In: K\u00fchn, E., Pugliese, R. (eds.) COORDINATION 2014. LNCS, vol. 8459, pp. 65\u201382. Springer, Heidelberg (2014)"},{"key":"2_CR50","doi-asserted-by":"crossref","unstructured":"Jongmans, S.-S., Halle, S., Arbab, F.: Reo: a dataflow inspired language for multicore.In: Proceedings of DFM 2013, pp. 42\u201350. IEEE (2014)","DOI":"10.1109\/DFM.2013.14"},{"key":"2_CR51","doi-asserted-by":"crossref","unstructured":"Jongmans, S.-S., Santini, F., Arbab, F.: Partially-distributed coordination with Reo.In: Proceedings of PDP 2014, pp. 697\u2013706. IEEE (2014)","DOI":"10.1109\/PDP.2014.19"},{"key":"2_CR52","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)"},{"key":"2_CR53","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. 255, 103\u2013118 (2009)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"2_CR54","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. 6116, pp. 92\u2013106. Springer, Heidelberg (2010)"},{"key":"2_CR55","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-642-24431-5_17","volume-title":"Formal Methods for Industrial Critical Systems","author":"J Klein","year":"2011","unstructured":"Klein, J., Kl\u00fcppelholz, S., Stam, A., Baier, C.: Hierarchical modeling and formal verification. An industrial case study using reo and vereofy. In: Sala\u00fcn, G., Sch\u00e4tz, B. (eds.) FMICS 2011. LNCS, vol. 6959, pp. 228\u2013243. Springer, Heidelberg (2011)"},{"issue":"2","key":"2_CR56","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 175(2), 19\u201337 (2007)","journal-title":"Electr. Notes Theor. Comput. Sci"},{"key":"2_CR57","doi-asserted-by":"crossref","unstructured":"Koehler, C., Lazovik, A., Arbab, F.: ReoService: coordination modeling tool. In: Kr\u00e4mer et al. [64], pp. 625\u2013626","DOI":"10.1007\/978-3-540-74974-5_60"},{"key":"2_CR58","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: SAC 2010: Proceedings of the 2010 ACM Symposium on Applied Computing, pp. 2406\u20132413. ACM, New York (2010)","DOI":"10.1145\/1774088.1774590"},{"key":"2_CR59","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. 5751, pp. 21\u201341. Springer, Heidelberg (2009)"},{"key":"2_CR60","doi-asserted-by":"crossref","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":"2_CR61","doi-asserted-by":"crossref","unstructured":"Kokash, N., Arbab, F., Changizi, B., Makhnist, L.: Input-output conformance testing for channel-based service connectors. In: Aceto, L., Mousavi, M.R. (eds.) PACO. EPTCS, vol. 60, pp. 19\u201335 (2011)","DOI":"10.4204\/EPTCS.60.2"},{"key":"2_CR62","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)"},{"key":"2_CR63","doi-asserted-by":"crossref","unstructured":"Kokash, N., Krause, C., de Vink, E.P.: Time and data-aware analysis of graphical service models in Reo. In: Fiadeiro, J.L., Gnesi, S., Maggiolo-Schettini, A. (eds.) SEFM, pp. 125\u2013134. IEEE Computer Society (2010)","DOI":"10.1109\/SEFM.2010.26"},{"key":"2_CR64","series-title":"Lecture Notes in Computer Science","volume-title":"Service-Oriented Computing \u2013 ICSOC 2007","year":"2007","unstructured":"Kr\u00e4mer, B.J., Lin, K.-J., Narasimhan, P. (eds.): ICSOC 2007. LNCS, vol. 4749. Springer, Heidelberg (2007)"},{"key":"2_CR65","doi-asserted-by":"crossref","unstructured":"Lazovik, A., Arbab, F.: Using Reo for service coordination.In: Kr\u00e4mer et al. [64], pp. 398\u2013403","DOI":"10.1007\/978-3-540-74974-5_34"},{"key":"2_CR66","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. 4468, pp. 301\u2013316. Springer, Heidelberg (2007)"},{"key":"2_CR67","doi-asserted-by":"crossref","unstructured":"Meng, S., Arbab, F.: QoS-driven service selection and composition. In: Billington, J., Duan, Z., Koutny, M. (eds.) ACSD, pp. 160\u2013169. IEEE (2008)","DOI":"10.1109\/ACSD.2008.4574608"},{"key":"2_CR68","series-title":"Lecture Notes in Computer Science","volume-title":"A Calculus of Communicating Systems","year":"1980","unstructured":"Milner, R. (ed.): A Calculus of Communicating Systems. LNCS, vol. 92. Springer, Heidelberg (1980)"},{"issue":"1","key":"2_CR69","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 36(1), 78\u201389 (1993)","journal-title":"Commun. ACM"},{"key":"2_CR70","unstructured":"Moon, Y.-J.: Stochastic models for quality of service of component connectors. Ph.D. thesis, Leiden University (2011)"},{"key":"2_CR71","doi-asserted-by":"crossref","unstructured":"Moon, Y.-J., Silva, A., Krause, C., Arbab, F.: A compositional semantics for stochastic Reo connectors. In: Mousavi, M.R., Sala\u00fcn, G. (eds.) FOCLASA. EPTCS, vol. 30, pp. 93\u2013107 (2010)","DOI":"10.4204\/EPTCS.30.7"},{"key":"2_CR72","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":"2_CR73","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/978-3-642-16985-4_29","volume-title":"Current Trends in Web Engineering","author":"D Schumm","year":"2010","unstructured":"Schumm, D., Turetken, O., Kokash, N., Elgammal, A., Leymann, F., van den Heuvel, W.-J.: Business process compliance through reusable units of compliant processes. In: Daniel, F., Facca, F.M. (eds.) ICWE 2010. LNCS, vol. 6385, pp. 325\u2013337. Springer, Heidelberg (2010)"},{"key":"2_CR74","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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: Hankin, C., Ciancarini, P. (eds.) COORDINATION 1996. LNCS, vol. 1061, pp. 28\u201333. Springer, Heidelberg (1996)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Multicore Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-18941-3_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T20:43:53Z","timestamp":1748378633000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-18941-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319189406","9783319189413"],"references-count":74,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-18941-3_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"7 May 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}