{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T20:40:02Z","timestamp":1747946402579,"version":"3.41.0"},"reference-count":66,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2015,4,22]],"date-time":"2015-04-22T00:00:00Z","timestamp":1429660800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["SOCA"],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1007\/s11761-015-0177-y","type":"journal-article","created":{"date-parts":[[2015,4,21]],"date-time":"2015-04-21T10:40:18Z","timestamp":1429612818000},"page":"311-339","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Partially distributed coordination with Reo and constraint automata"],"prefix":"10.1007","volume":"9","author":[{"given":"Sung-Shik T. Q.","family":"Jongmans","sequence":"first","affiliation":[]},{"given":"Francesco","family":"Santini","sequence":"additional","affiliation":[]},{"given":"Farhad","family":"Arbab","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,4,22]]},"reference":[{"issue":"3","key":"177_CR1","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1017\/S0960129504004153","volume":"14","author":"F Arbab","year":"2004","unstructured":"Arbab F (2004) Reo: a channel-based coordination model for component composition. Math Struct Comput Sci 14(3):329\u2013366. doi: 10.1017\/S0960129504004153","journal-title":"Math Struct Comput Sci"},{"key":"177_CR2","first-page":"169","volume-title":"Talcott Festschrift, LNCS","author":"F Arbab","year":"2011","unstructured":"Arbab F (2011) Puff, the magic protocol. In: Agha G, Danvy O, Meseguer J (eds) Talcott Festschrift, LNCS, vol 7000. Springer, Berlin, pp 169\u2013206. doi: 10.1007\/978-3-642-24933-4_9"},{"key":"177_CR3","first-page":"236","volume-title":"Proceedings of COORDINATION 2005, LNCS","author":"F Arbab","year":"2005","unstructured":"Arbab F, Baier C, de Boer F, Rutten J, Sirjani M (2005) Synthesis of Reo circuits for implementation of component-connector automata specifications. In: Jacquet JM, Picco GP (eds) Proceedings of COORDINATION 2005, LNCS, vol 3454. Springer, Berlin, pp 236\u2013251. doi: 10.1007\/11417019_16"},{"issue":"2","key":"177_CR4","doi-asserted-by":"crossref","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 (2006) Modeling component connectors in Reo by constraint automata. Sci Comput Program 61(2):75\u2013113. doi: 10.1016\/j.scico.2005.10.008","journal-title":"Sci Comput Program"},{"key":"177_CR5","doi-asserted-by":"crossref","unstructured":"Ban\u00e2tre JP, Fradet P, M\u00e9tayer DL (2001) Gamma and the chemical reaction model: fifteen years after. In: Proceedings of the workshop on multiset processing: multiset processing, mathematical, computer science, and molecular computing points of view, WMP \u201900, pp 17\u201344. Springer, London, UK. http:\/\/dl.acm.org\/citation.cfm?id=647269.721851","DOI":"10.1007\/3-540-45523-X_2"},{"key":"177_CR6","first-page":"210","volume-title":"Proceedings of CCGRID 2008","author":"A Barker","year":"2008","unstructured":"Barker A, Weissman J, van Hemert J (2008) Orchestrating data-centric workflows. In: Priol T, Jin H, Laforenza D, Matsuoka S, Parashar M, Roe P (eds) Proceedings of CCGRID 2008. IEEE, Los Alamitos, pp 210\u2013217. doi: 10.1109\/CCGRID.2008.50"},{"key":"177_CR7","first-page":"3","volume-title":"Proceedings of SEFM 2006","author":"A Basu","year":"2006","unstructured":"Basu A, Bozga M, Sifakis J (2006) Modeling heterogeneous real-time components in BIP. In: Hung DV, Pandya P (eds) Proceedings of SEFM 2006. IEEE, Los Alamitos, pp 3\u201312. doi: 10.1109\/SEFM.2006.27"},{"key":"177_CR8","first-page":"224","volume-title":"Proceedings of ICIW 2007","author":"M Beek ter","year":"2004","unstructured":"ter Beek M, Bucchiarone A, Gnesi S (2004) Web service composition approaches: from industrial standards to formal methods. In: Galizia S, Emig C, Martens A, Roman D, Wombacher A (eds) Proceedings of ICIW 2007. IEEE, Los Alamitos, pp 224\u2013233. doi: 10.1109\/ICIW.2007.71"},{"key":"177_CR9","unstructured":"Bernstein P, Hadzilacos V, Goodman N (1987) Two phase locking. In: Concurrency control and recovery in database systems. Addison-Wesley, Boston, pp 47\u2013111"},{"key":"177_CR10","first-page":"869","volume-title":"Proceedings of ICWS 2006","author":"W Binder","year":"2006","unstructured":"Binder W, Constantinescu I, Faltings B (2006) Decentralized orchestration of composite web services. In: Feig E, Zhang AKJ (eds) Proceedings of ICWS 2006. IEEE, Los Alamitos, pp 869\u2013876. doi: 10.1109\/ICWS.2006.48"},{"issue":"5","key":"177_CR11","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1007\/s00446-012-0168-6","volume":"25","author":"B Bonakdarpour","year":"2012","unstructured":"Bonakdarpour B, Bozga M, Jaber M, Quilbeuf J, Sifakis J (2012) A framework for automated distributed implementation of component-based models. Distrib Comput 25(5):383\u2013409. doi: 10.1007\/s00446-012-0168-6","journal-title":"Distrib Comput"},{"key":"177_CR12","first-page":"34","volume-title":"Proceedings of SC 2007, LNCS","author":"M Bravetti","year":"2007","unstructured":"Bravetti M, Zavattaro G (2007) Towards a unifying theory for choreography conformance and contract compliance. In: Lumpe M, Vanderperren W (eds) Proceedings of SC 2007, LNCS, vol 4829. Springer, Berlin, pp 34\u201350. doi: 10.1007\/978-3-540-77351-1_4"},{"key":"177_CR13","first-page":"37","volume-title":"Proceedings of WS-FM 2008, LNCS","author":"M Bravetti","year":"2009","unstructured":"Bravetti M, Zavattaro G (2009) Contract compliance and choreography conformance in the presence of message queues. In: Bruni R, Wolf K (eds) Proceedings of WS-FM 2008, LNCS, vol 5387. Springer, Berlin, pp 37\u201345. doi: 10.1007\/978-3-642-01364-5_3"},{"issue":"2","key":"177_CR14","doi-asserted-by":"crossref","first-page":"8:1","DOI":"10.1145\/2220365.2220367","volume":"34","author":"M Carbone","year":"2012","unstructured":"Carbone M, Honda K, Yoshida N (2012) Structured communication-centered programming for web services. ACM Trans Program Lang Syst 34(2):8:1\u20138:78. doi: 10.1145\/2220365.2220367","journal-title":"ACM Trans Program Lang Syst"},{"key":"177_CR15","doi-asserted-by":"crossref","unstructured":"Cardelli L, Gordon A (1998) Mobile ambients. In: Nivat M (ed) Foundations of software science and computation structures, Lecture notes in computer science, vol 1378. Springer, Berlin, pp 140\u2013155. doi: 10.1007\/BFb0053547","DOI":"10.1007\/BFb0053547"},{"key":"177_CR16","first-page":"134","volume-title":"Proceedings of WWW Alt. 2004","author":"G Chafle","year":"2004","unstructured":"Chafle G, Chandra S, Mann V, Nanda MG (2004) Decentralized orchestration of composite web services. In: Najork M, Wills C (eds) Proceedings of WWW Alt. 2004. ACM, New York, pp 134\u2013143. doi: 10.1145\/1013367.1013390"},{"key":"177_CR17","unstructured":"Changizi B (2015) Model based analysis of business process models. Ph.D. thesis, Leiden University (in preparation)"},{"key":"177_CR18","first-page":"59","volume-title":"Proceedings of COORDINATION 2012, LNCS","author":"D Clarke","year":"2012","unstructured":"Clarke D, Proen\u00e7a J (2012) Partial connector colouring. In: Sirjani M (ed) Proceedings of COORDINATION 2012, LNCS, vol 7274. Springer, Berlin, pp 59\u201373. doi: 10.1007\/978-3-642-30829-1_5"},{"key":"177_CR19","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1023\/A:1008658325298","volume":"5","author":"S Dami","year":"1998","unstructured":"Dami S, Estublier J, Amiour M (1998) APEL: a graphical yet executable formalism for process modeling. Autom Softw Eng 5:61\u201391. doi: 10.1007\/978-1-4615-5441-7_4","journal-title":"Autom Softw Eng"},{"key":"177_CR20","series-title":"Lecture notes in computer science","first-page":"25","volume-title":"FMCO","author":"R Nicola De","year":"2011","unstructured":"De Nicola R, Ferrari GL, Loreti M, Pugliese R (2011) A language-based approach to autonomic computing. In: Beckert B, Damiani F, de Boer FS, Bonsangue MM (eds) FMCO, vol 7542., Lecture notes in computer scienceSpringer, Berlin, pp 25\u201348"},{"key":"177_CR21","doi-asserted-by":"crossref","unstructured":"Dorigo M, Bonabeau E, Theraulaz G (2000) Ant algorithms and stigmergy. Future Gen Comput Syst 16(9):851\u2013871. http:\/\/dl.acm.org\/citation.cfm?id=348599.348601","DOI":"10.1016\/S0167-739X(00)00042-X"},{"key":"177_CR22","first-page":"139","volume-title":"Proceedings of ICWS 2010","author":"H Fern\u00e1ndez","year":"2010","unstructured":"Fern\u00e1ndez H, Priol T, Tedeschi C (2010) Decentralized approach for execution of composite web services using the chemical paradigm. In: Pu C, Singhal S, Zhang J (eds) Proceedings of ICWS 2010. IEEE, Los Alamitos, pp 139\u2013146. doi: 10.1109\/ICWS.2010.46"},{"key":"177_CR23","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1007\/3-540-61604-7_67","volume-title":"CONCUR","author":"C Fournet","year":"1996","unstructured":"Fournet C, Gonthier G, L\u00e9vy JJ, Maranget L, R\u00e9my D (1996) A calculus of mobile agents. In: Montanari U, Sassone V (eds) CONCUR, vol 1119., Lecture notes in computer scienceSpringer, Berlin, pp 406\u2013421"},{"issue":"1\u20132","key":"177_CR24","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/j.tcs.2004.07.004","volume":"328","author":"X Fu","year":"2004","unstructured":"Fu X, Bultan T, Su J (2004) Conversation protocols: a formalism for specification and verification of reactive electronic services. Theor Comput Sci 328(1\u20132):19\u201337. doi: 10.1016\/j.tcs.2004.07.004","journal-title":"Theor Comput Sci"},{"issue":"4","key":"177_CR25","doi-asserted-by":"crossref","first-page":"68","DOI":"10.4018\/jwsr.2005100104","volume":"2","author":"X Fu","year":"2005","unstructured":"Fu X, Bultan T, Su J (2005) Realizability of conversation protocols with message contents. Int J Web Serv Res 2(4):68\u201393. doi: 10.4018\/jwsr.2005100104","journal-title":"Int J Web Serv Res"},{"key":"177_CR26","doi-asserted-by":"crossref","unstructured":"Gilbert D, Palamidessi C (2000) Concurrent constraint programming with process mobility. In: Proceedings of the first international conference on computational logic, CL \u201900. Springer, London, UK, pp 463\u2013477. http:\/\/dl.acm.org\/citation.cfm?id=647482.728260","DOI":"10.1007\/3-540-44957-4_31"},{"key":"177_CR27","first-page":"273","volume-title":"Proceedings of POPL 2008","author":"K Honda","year":"2008","unstructured":"Honda K, Yoshida N, Carbone M (2008) Multiparty asynchronous session types. In: Necula G, Wadler P (eds) Proceedings of POPL 2008. ACM, New York, pp 273\u2013284. doi: 10.1145\/1328438.1328472"},{"issue":"1","key":"177_CR28","doi-asserted-by":"crossref","first-page":"201","DOI":"10.7561\/SACS.2012.1.201","volume":"22","author":"SS Jongmans","year":"2012","unstructured":"Jongmans SS, Arbab F (2012) Overview of thirty semantic formalisms for Reo. Sci Ann Comput Sci 22(1):201\u2013251. doi: 10.7561\/SACS.2012.1.201","journal-title":"Sci Ann Comput Sci"},{"key":"177_CR29","first-page":"174","volume-title":"Proceedings of FOCLASA 2013, no. 393 in CCIS","author":"SS Jongmans","year":"2013","unstructured":"Jongmans SS, Arbab F (2013) Global consensus through local synchronization. In: Canal C, Villari M (eds) Proceedings of FOCLASA 2013, no. 393 in CCIS. Springer, Berlin, pp 174\u2013188. doi: 10.1007\/978-3-642-45364-9_15"},{"key":"177_CR30","doi-asserted-by":"crossref","unstructured":"Jongmans SS, Arbab F (2013) Global consensus through local synchronization (Technical Report). Tech. Rep. FM-1303, CWI","DOI":"10.1007\/978-3-642-45364-9_15"},{"key":"177_CR31","doi-asserted-by":"crossref","unstructured":"Jongmans SS, Arbab F (2013) Modularizing and specifying protocols among threads. In: Gay S, Kelly P (eds) Proceedings of PLACES 2012, EPTCS, vol 109. CoRR, pp 34\u201345. doi: 10.4204\/EPTCS.109.6","DOI":"10.4204\/EPTCS.109.6"},{"key":"177_CR32","doi-asserted-by":"crossref","unstructured":"Jongmans SS, Arbab F (2014) Toward sequentializing overparallelized protocol code. In: Lanese I, Lluch-Lafuente A, Sokolova A, Torres-Vieira H (eds) Proceedings of ICE 2014, EPTCS, vol 166. CoRR, pp 38\u201344. doi: 10.4204\/EPTCS.166.5","DOI":"10.4204\/EPTCS.166.5"},{"key":"177_CR33","doi-asserted-by":"crossref","unstructured":"Jongmans SS, Arbab F (2015) Can high throughput atone for high latency in compiler-generated protocol code? In: Dastani M, Sirjani M (eds) Proceedings of FSEN 2015, LNCS. Springer, Berlin (in press)","DOI":"10.1007\/978-3-319-24644-4_17"},{"key":"177_CR34","doi-asserted-by":"crossref","unstructured":"Jongmans SS, Clarke D, Proen\u00e7a J (2012) A procedure for splitting processes and its application to coordination. In: Kokash N, Ravara A (eds) Proceedings of FOCLASA 2012, EPTCS, vol 91. CoRR, pp 79\u201396. doi: 10.4204\/EPTCS.91.6","DOI":"10.4204\/EPTCS.91.6"},{"key":"177_CR35","doi-asserted-by":"crossref","unstructured":"Jongmans SS, Santini F, Arbab F (2013) Partially-distributed coordination with Reo (Technical Report). Tech. Rep. FM-1304, CWI","DOI":"10.1109\/PDP.2014.19"},{"key":"177_CR36","first-page":"697","volume-title":"Proceedings of PDP 2014","author":"SS Jongmans","year":"2014","unstructured":"Jongmans SS, Santini F, Arbab F (2014) Partially-distributed coordination with Reo. In: Aldinucci M, D\u2019Agostino D, Kilpatrick P (eds) Proceedings of PDP 2014. IEEE, Los Alamitos, pp 697\u2013706. doi: 10.1109\/PDP.2014.19"},{"key":"177_CR37","first-page":"1","volume-title":"Proceedings of ESOCC 2012, LNCS","author":"SS Jongmans","year":"2012","unstructured":"Jongmans SS, Santini F, Sargolzaei M, Arbab F, Afsarmanesh H (2012) Automatic code generation for the orchestration of web services with Reo. In: de Paoli F, Pimentel E, Zavattaro G (eds) Proceedings of ESOCC 2012, LNCS, vol 7592. Springer, Berlin, pp 1\u201316. doi: 10.1007\/978-3-642-33427-6_1"},{"key":"177_CR38","doi-asserted-by":"crossref","unstructured":"Jongmans SS, Santini F, Sargolzaei M, Arbab F, Afsarmanesh H (2014) Orchestrating web services using Reo: from circuits and behaviors to automatically generated code. Serv Oriented Comput Appl 8(4):277\u2013297. doi: 10.1007\/s11761-013-0147-1","DOI":"10.1007\/s11761-013-0147-1"},{"key":"177_CR39","unstructured":"Jordan D, Evdemon J (2007) Web services business process execution language version 2.0. Standard ws-bpel-v2.0-OS, OASIS"},{"key":"177_CR40","first-page":"106","volume-title":"Proceedings of ICFEM, LNCS","author":"N Kokash","year":"2010","unstructured":"Kokash N, Changizi B, Arbab F (2010) A semantic model for service composition with coordination time delays. In: Dong JS, Zhu H (eds) Proceedings of ICFEM, LNCS, vol 6447. Springer, Berlin, pp 106\u2013121. doi: 10.1007\/978-3-642-16901-4_9"},{"issue":"2","key":"177_CR41","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/s00165-011-0191-6","volume":"24","author":"N Kokash","year":"2012","unstructured":"Kokash N, Krause C, de Vink E (2012) Reo+mCRL2: a framework for model-checking dataflow in service compositions. Form Asp Comput 24(2):187\u2013216. doi: 10.1007\/s00165-011-0191-6","journal-title":"Form Asp Comput"},{"key":"177_CR42","doi-asserted-by":"crossref","unstructured":"Lanese I, Montesi F, Zavattaro G (2013) Amending choreographies. In: Ravara A, Silva J (eds) Proceedings of WWV 2013, EPTCS, vol 123. CoRR, pp 34\u201348. doi: 10.4204\/EPTCS.123.5","DOI":"10.4204\/EPTCS.123.5"},{"key":"177_CR43","volume-title":"Distributed algorithms","author":"N Lynch","year":"1996","unstructured":"Lynch N (1996) Distributed algorithms. Elsevier, Amsterdam"},{"key":"177_CR44","doi-asserted-by":"crossref","unstructured":"Mamei M, Zambonelli F (2004) Programming pervasive and mobile computing applications with the tota middleware. In: Proceedings of the second IEEE international conference on pervasive computing and communications (PerCom\u201904), PERCOM \u201904, p 263. IEEE Computer Society, Washington, DC, USA. http:\/\/dl.acm.org\/citation.cfm?id=977406.978680","DOI":"10.1109\/PERCOM.2004.1276864"},{"key":"177_CR45","volume-title":"Field-based coordination for pervasive multiagent systems (Springer series on agent technology)","author":"M Mamei","year":"2005","unstructured":"Mamei M, Zambonelli F (2005) Field-based coordination for pervasive multiagent systems (Springer series on agent technology). Springer, Secaucus"},{"key":"177_CR46","volume-title":"Distributed event-based systems","author":"G Mhl","year":"2010","unstructured":"Mhl G, Fiege L, Pietzuch P (2010) Distributed event-based systems, 1st edn. Springer, Berlin","edition":"1"},{"key":"177_CR47","volume-title":"Communication and concurrency","author":"R Milner","year":"1989","unstructured":"Milner R (1989) Communication and concurrency. Prentice Hall, Upper Saddle River"},{"key":"177_CR48","first-page":"166","volume-title":"Proceedings of AINA 2010","author":"L Mostarda","year":"2010","unstructured":"Mostarda L, Marinovic S, Dulay N (2010) Distributed orchestration of pervasive services. In: Rahayu W, Xhafa F, Denko M (eds) Proceedings of AINA 2010. IEEE, Los Alamitos, pp 166\u2013173. doi: 10.1109\/AINA.2010.100"},{"issue":"3","key":"177_CR49","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1145\/1151695.1151698","volume":"15","author":"AL Murphy","year":"2006","unstructured":"Murphy AL, Picco GP, Roman GC (2006) Lime: a coordination model and middleware supporting mobility of hosts and agents. ACM Trans Softw Eng Methodol 15(3):279\u2013328. doi: 10.1145\/1151695.1151698","journal-title":"ACM Trans Softw Eng Methodol"},{"issue":"2","key":"177_CR50","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1023\/A:1008608810770","volume":"10","author":"P Muth","year":"1998","unstructured":"Muth P, Wodtke D, Weissenfels J, Dittrich AK, Weikum G (1998) From centralized workflow specification to distributed workflow execution. J Intell Inf Syst 10(2):159\u2013184. doi: 10.1023\/A:1008608810770","journal-title":"J Intell Inf Syst"},{"key":"177_CR51","first-page":"170","volume-title":"Proceedings of OOPSLA 2004","author":"MG Nanda","year":"2004","unstructured":"Nanda MG, Chandra S, Sarkar V (2004) Decentralizing execution of composite web services. In: Schmidt D (ed) Proceedings of OOPSLA 2004. ACM, New York, pp 170\u2013187. doi: 10.1145\/1028976.1028991"},{"issue":"5","key":"177_CR52","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1109\/32.685256","volume":"24","author":"R Nicola de","year":"1998","unstructured":"de Nicola R, Ferrari GL, Pugliese R (1998) KLAIM: a kernel language for agents interaction and mobility. IEEE Trans Softw Eng 24(5):315\u2013330. doi: 10.1109\/32.685256","journal-title":"IEEE Trans Softw Eng"},{"key":"177_CR53","unstructured":"Web services business process execution language (2007). http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/"},{"key":"177_CR54","unstructured":"Parr T (2007) Generating structured text with templates and grammars. In: The definitive ANTLR reference: building domain-specific languages. The Pragmatic Bookshelf, pp 208\u2013242"},{"key":"177_CR55","doi-asserted-by":"crossref","unstructured":"Pautasso C (2009) RESTful Web service composition with BPEL for REST. Data Knowl Eng 68(9):851\u2013866. doi: 10.1016\/j.datak.2009.02.016","DOI":"10.1016\/j.datak.2009.02.016"},{"key":"177_CR56","first-page":"75","volume-title":"Proceedings of ICSP 2009, no. 5543 in LNCS","author":"G Pedraza","year":"2009","unstructured":"Pedraza G, Estublier J (2009) Distributed orchestration versus choreography: the FOCAS approach. In: Wang Q, Garousi V, Madachy R, Pfahl D (eds) Proceedings of ICSP 2009, no. 5543 in LNCS. Springer, Berlin, pp 75\u201386. doi: 10.1007\/978-3-642-01680-6_9"},{"issue":"10","key":"177_CR57","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1109\/MC.2003.1236471","volume":"36","author":"C Peltz","year":"2003","unstructured":"Peltz C (2003) Web services orchestration and choreography. Computer 36(10):46\u201352. doi: 10.1109\/MC.2003.1236471","journal-title":"Computer"},{"key":"177_CR58","doi-asserted-by":"crossref","unstructured":"Proen\u00e7a J, Clarke D, de Vink E, Arbab F (2011) Decoupled execution of synchronous coordination models via behavioural automata. In: Mousavi MR, Ravara A (eds) Proceedings of FOCLASA 2011, EPTCS, vol 58. CoRR, pp 65\u201379. doi: 10.4204\/EPTCS.58.5","DOI":"10.4204\/EPTCS.58.5"},{"key":"177_CR59","doi-asserted-by":"crossref","first-page":"1510","DOI":"10.1145\/2245276.2232017","volume-title":"Proceedings of SAC 2012","author":"J Proen\u00e7a","year":"2012","unstructured":"Proen\u00e7a J, Clarke D, de Vink E, Arbab F (2012) Dreams: a framework for distributed synchronous coordination. In: Viroli M, Castelli G, Marquez JLF (eds) Proceedings of SAC 2012. ACM, New York, pp 1510\u20131515. doi: 10.1145\/2245276.2232017"},{"key":"177_CR60","unstructured":"Proen\u00e7a J (2011) Synchronous coordination of distributed components. Ph.D. thesis, Leiden University"},{"key":"177_CR61","doi-asserted-by":"crossref","unstructured":"Ren S, Yu Y, Chen N, Marth K, Poirot PE, Shen L (2006) Actors, roles and coordinators \u2013 a coordination model for open distributed and embedded systems. In: Proceedings of the 8th international conference on coordination models and languages, COORDINATION\u201906. Springer, Berlin, pp 247\u2013265. doi: 10.1007\/11767954_16","DOI":"10.1007\/11767954_16"},{"key":"177_CR62","doi-asserted-by":"crossref","unstructured":"Ricci A, Omicini A, Viroli M, Gardelli L, Oliva E (2007) Cognitive stigmergy: towards a framework based on agents and artifacts. In: Proceedings of the 3rd international conference on environments for multi-agent systems III, E4MAS\u201906. Springer, Berlin, pp 124\u2013140. http:\/\/dl.acm.org\/citation.cfm?id=1759343.1759352","DOI":"10.1007\/978-3-540-71103-2_7"},{"key":"177_CR63","first-page":"379","volume-title":"Proceedings of HICSS 1997","author":"A Rowstron","year":"1997","unstructured":"Rowstron A, Wood A (1997) BONITA: a set of tuple space primitives for distributed coordination. In: El-Rewini H (ed) Proceedings of HICSS 1997. IEEE, Los Alamitos, pp 379\u2013388. doi: 10.1109\/HICSS.1997.667285"},{"key":"177_CR64","first-page":"281","volume-title":"Proceedings of COORDINATION 2006, LNCS","author":"M Sirjani","year":"2006","unstructured":"Sirjani M, Jaghoori MM, Baier C, Arbab F (2006) Compositional semantics of an actor-based language using constraint automata. Proceedings of COORDINATION 2006, LNCS, vol 4038. Springer, Berlin, pp 281\u2013297. doi: 10.1007\/11767954_18"},{"key":"177_CR65","doi-asserted-by":"crossref","first-page":"385","DOI":"10.3233\/FUN-2004-63405","volume":"63","author":"M Sirjani","year":"2004","unstructured":"Sirjani M, Movaghar A, Shali A, de Boer F (2004) Modeling and verification of reactive systems using Rebeca. Fundam Inform 63:385\u2013410","journal-title":"Fundam Inform"},{"key":"177_CR66","first-page":"253","volume-title":"Proceedings of IPDPS 2006","author":"G Tretola","year":"2006","unstructured":"Tretola G, Zimeo E (2006) Workflow fine-grained concurrency with automatic continuation. In: Rosenberg A, Atallah M, Bader D, Gottlieb A, Kale L (eds) Proceedings of IPDPS 2006. IEEE, Los Alamitos, pp 253\u2013260. doi: 10.1109\/IPDPS.2006.1639510"}],"container-title":["Service Oriented Computing and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-015-0177-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11761-015-0177-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-015-0177-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T19:59:43Z","timestamp":1747943983000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11761-015-0177-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4,22]]},"references-count":66,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2015,9]]}},"alternative-id":["177"],"URL":"https:\/\/doi.org\/10.1007\/s11761-015-0177-y","relation":{},"ISSN":["1863-2386","1863-2394"],"issn-type":[{"type":"print","value":"1863-2386"},{"type":"electronic","value":"1863-2394"}],"subject":[],"published":{"date-parts":[[2015,4,22]]}}}