{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:14:31Z","timestamp":1762460071400,"version":"3.40.3"},"publisher-location":"Cham","reference-count":48,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031081453"},{"type":"electronic","value":"9783031081439"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-08143-9_9","type":"book-chapter","created":{"date-parts":[[2022,6,13]],"date-time":"2022-06-13T13:06:32Z","timestamp":1655125592000},"page":"140-158","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Model of\u00a0Actors and\u00a0Grey Failures"],"prefix":"10.1007","author":[{"given":"Laura","family":"Bocchi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julien","family":"Lange","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Thompson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. Laura","family":"Voinea","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,6,14]]},"reference":[{"key":"9_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4204\/eptcs.58.1","volume":"58","author":"L Aceto","year":"2011","unstructured":"Aceto, L., Cimini, M., Ingolfsdottir, A., Reynisson, A.H., Sigurdarson, S.H., Sirjani, M.: Modelling and simulation of asynchronous real-time systems using timed Rebeca. EPTCS 58, 1\u201319 (2011). https:\/\/doi.org\/10.4204\/eptcs.58.1","journal-title":"EPTCS"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-60225-7_1","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"M Adameit","year":"2017","unstructured":"Adameit, M., Peters, K., Nestmann, U.: Session types for link failures. In: Bouajjani, A., Silva, A. (eds.) FORTE 2017. LNCS, vol. 10321, pp. 1\u201316. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-60225-7_1"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1007\/3-540-63383-9_92","volume-title":"Coordination Languages and Models","author":"RM Amadio","year":"1997","unstructured":"Amadio, R.M.: An asynchronous model of locality, failure, and process mobility. In: Garlan, D., Le M\u00e9tayer, D. (eds.) COORDINATION 1997. LNCS, vol. 1282, pp. 374\u2013391. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/3-540-63383-9_92"},{"issue":"2","key":"9_CR4","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/S0304-3975(97)00223-5","volume":"195","author":"RM Amadio","year":"1998","unstructured":"Amadio, R.M., Castellani, I., Sangiorgi, D.: On bisimulations for the asynchronous pi-calculus. Theor. Comput. Sci. 195(2), 291\u2013324 (1998). https:\/\/doi.org\/10.1016\/S0304-3975(97)00223-5","journal-title":"Theor. Comput. Sci."},{"key":"9_CR5","doi-asserted-by":"publisher","unstructured":"Basu, S., Bultan, T., Ouederni, M.: Deciding choreography realizability. Proc. ACM Program. Lang. 47(POPL), 191\u2013202 (2012). https:\/\/doi.org\/10.1145\/2103656.2103680","DOI":"10.1145\/2103656.2103680"},{"issue":"1","key":"9_CR6","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/S1571-0661(05)82502-2","volume":"39","author":"M Berger","year":"2003","unstructured":"Berger, M., Honda, K.: The two-phase commitment protocol in an extended $$\\pi $$-calculus. ENTCS 39(1), 21\u201346 (2003). https:\/\/doi.org\/10.1016\/S1571-0661(05)82502-2","journal-title":"ENTCS"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-540-76637-7_11","volume-title":"Programming Languages and Systems","author":"M Berger","year":"2007","unstructured":"Berger, M., Yoshida, N.: Timed, distributed, probabilistic, typed processes. In: Shao, Z. (ed.) APLAS 2007. LNCS, vol. 4807, pp. 158\u2013174. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-76637-7_11"},{"issue":"1\u20133","key":"9_CR8","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(1\u20133), 109\u2013137 (1984). https:\/\/doi.org\/10.1016\/S0019-9958(84)80025-X","journal-title":"Inf. Control."},{"key":"9_CR9","doi-asserted-by":"publisher","unstructured":"de Boer, F.S., Klop, J.W., Palamidessi, C.: Asynchronous communication in process algebra. In: Proceedings LICS, pp. 137\u2013147. IEEE Computer Society (1992). https:\/\/doi.org\/10.1109\/LICS.1992.185528","DOI":"10.1109\/LICS.1992.185528"},{"key":"9_CR10","doi-asserted-by":"publisher","unstructured":"Bollig, B., Giusto, C.D., Finkel, A., Laversa, L., Lozes, \u00c9., Suresh, A.: A unifying framework for deciding synchronizability. In: Proceedings CONCUR. LIPIcs, vol. 203, pp. 14:1\u201314:18. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2021). https:\/\/doi.org\/10.4230\/LIPIcs.CONCUR.2021.14","DOI":"10.4230\/LIPIcs.CONCUR.2021.14"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/3-540-49019-1_12","volume-title":"Foundations of Software Science and Computation Structures","author":"M Boreale","year":"1999","unstructured":"Boreale, M., De Nicola, R., Pugliese, R.: A theory of \u201cMay\u2019\u2019 testing for asynchronous languages. In: Thomas, W. (ed.) FoSSaCS 1999. LNCS, vol. 1578, pp. 165\u2013179. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/3-540-49019-1_12"},{"issue":"2","key":"9_CR12","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1006\/inco.2001.3080","volume":"172","author":"M Boreale","year":"2002","unstructured":"Boreale, M., Nicola, R.D., Pugliese, R.: Trace and testing equivalence on asynchronous processes. Inf. Comput. 172(2), 139\u2013164 (2002). https:\/\/doi.org\/10.1006\/inco.2001.3080","journal-title":"Inf. Comput."},{"issue":"2","key":"9_CR13","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/322374.322380","volume":"30","author":"D Brand","year":"1983","unstructured":"Brand, D., Zafiropulo, P.: On communicating finite-state machines. J. ACM 30(2), 323\u2013342 (1983). https:\/\/doi.org\/10.1145\/322374.322380","journal-title":"J. ACM"},{"key":"9_CR14","unstructured":"Cano, M., Castellani, I., Di Giusto, C., P\u00e9rez, J.A.: Multiparty Reactive Sessions. Research Report 9270, INRIA, April 2019. https:\/\/hal.archives-ouvertes.fr\/hal-02106742"},{"issue":"2","key":"9_CR15","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1017\/S0960129514000164","volume":"26","author":"S Capecchi","year":"2016","unstructured":"Capecchi, S., Giachino, E., Yoshida, N.: Global escape in multiparty sessions. MSCS 26(2), 156\u2013205 (2016). https:\/\/doi.org\/10.1017\/S0960129514000164","journal-title":"MSCS"},{"key":"9_CR16","doi-asserted-by":"publisher","unstructured":"Castellani, I.: Process algebras with localities. In: Handbook of Process Algebra, pp. 945\u20131045. North-Holland\/Elsevier (2001). https:\/\/doi.org\/10.1016\/b978-044482830-9\/50033-3","DOI":"10.1016\/b978-044482830-9\/50033-3"},{"key":"9_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/978-3-540-49382-2_9","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"I Castellani","year":"1998","unstructured":"Castellani, I., Hennessy, M.: Testing theories for asynchronous languages. In: Arvind, V., Ramanujam, S. (eds.) FSTTCS 1998. LNCS, vol. 1530, pp. 90\u2013101. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/978-3-540-49382-2_9"},{"issue":"2","key":"9_CR18","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1017\/S0960129514000188","volume":"26","author":"M Coppo","year":"2016","unstructured":"Coppo, M., Dezani-Ciancaglini, M., Yoshida, N., Padovani, L.: Global progress for dynamically interleaved multiparty sessions. MSCS 26(2), 238\u2013302 (2016). https:\/\/doi.org\/10.1017\/S0960129514000188","journal-title":"MSCS"},{"key":"9_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1007\/3-540-61604-7_67","volume-title":"CONCUR \u201996: Concurrency Theory","author":"C Fournet","year":"1996","unstructured":"Fournet, C., Gonthier, G., Levy, J.-J., Maranget, L., R\u00e9my, D.: A calculus of mobile agents. In: Montanari, U., Sassone, V. (eds.) CONCUR 1996. LNCS, vol. 1119, pp. 406\u2013421. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/3-540-61604-7_67"},{"key":"9_CR20","doi-asserted-by":"publisher","unstructured":"Fowler, S., Lindley, S., Morris, J.G., Decova, S.: Exceptional asynchronous session types: session types without tiers. Proc. ACM Program. Lang. 3(POPL), 1\u201329 (2019). https:\/\/doi.org\/10.1145\/3290341","DOI":"10.1145\/3290341"},{"key":"9_CR21","doi-asserted-by":"publisher","unstructured":"Francalanza, A., Hennessy, M.: A theory for observational fault tolerance. JLAMP 73(1\u20132), 22\u201350 (2007). https:\/\/doi.org\/10.1007\/11690634_2","DOI":"10.1007\/11690634_2"},{"issue":"6","key":"9_CR22","doi-asserted-by":"publisher","first-page":"711","DOI":"10.1016\/j.ic.2007.12.002","volume":"206","author":"A Francalanza","year":"2008","unstructured":"Francalanza, A., Hennessy, M.: A theory of system behaviour in the presence of node and link failure. Inf. Comput. 206(6), 711\u2013759 (2008). https:\/\/doi.org\/10.1016\/j.ic.2007.12.002","journal-title":"Inf. Comput."},{"issue":"1\u20133","key":"9_CR23","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0019-9958(86)80031-6","volume":"68","author":"S Graf","year":"1986","unstructured":"Graf, S., Sifakis, J.: A modal characterization of observational congruence on finite terms of CCS. Inf. Control. 68(1\u20133), 125\u2013145 (1986). https:\/\/doi.org\/10.1016\/S0019-9958(86)80031-6","journal-title":"Inf. Control."},{"key":"9_CR24","doi-asserted-by":"publisher","unstructured":"Gunawi, H.S., et al.: Fail-slow at scale: evidence of hardware performance faults in large production systems. ACM Trans. Storage 14(3), 23:1\u201323:26 (2018). https:\/\/doi.org\/10.1145\/3242086","DOI":"10.1145\/3242086"},{"issue":"2","key":"9_CR25","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1006\/inco.1995.1041","volume":"117","author":"M Hennessy","year":"1995","unstructured":"Hennessy, M., Regan, T.: A process algebra for timed systems. Inf. Comput. 117(2), 221\u2013239 (1995). https:\/\/doi.org\/10.1006\/inco.1995.1041","journal-title":"Inf. Comput."},{"key":"9_CR26","doi-asserted-by":"publisher","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. J. ACM 63(1), 9:1\u20139:67 (2016). https:\/\/doi.org\/10.1145\/2827695","DOI":"10.1145\/2827695"},{"key":"9_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/978-3-642-40787-1_8","volume-title":"Runtime Verification","author":"R Hu","year":"2013","unstructured":"Hu, R., Neykova, R., Yoshida, N., Demangeon, R., Honda, K.: Practical interruptible conversations. In: Legay, A., Bensalem, S. (eds.) RV 2013. LNCS, vol. 8174, pp. 130\u2013148. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40787-1_8"},{"key":"9_CR28","doi-asserted-by":"publisher","unstructured":"Huang, P., et al.: Gray failure: the Achilles\u2019 heel of cloud-scale systems. In: Proceedings HotOS, pp. 150\u2013155. Association for Computing Machinery, New York (2017). https:\/\/doi.org\/10.1145\/3102980.3103005","DOI":"10.1145\/3102980.3103005"},{"key":"9_CR29","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/j.jlamp.2018.06.004","volume":"100","author":"I Lanese","year":"2018","unstructured":"Lanese, I., Nishida, N., Palacios, A., Vidal, G.: A theory of reversibility for Erlang. JLAMP 100, 71\u201397 (2018). https:\/\/doi.org\/10.1016\/j.jlamp.2018.06.004","journal-title":"JLAMP"},{"key":"9_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-030-21485-2_6","volume-title":"Models, Languages, and Tools for Concurrent and Distributed Programming","author":"I Lanese","year":"2019","unstructured":"Lanese, I., Sangiorgi, D., Zavattaro, G.: Playing with bisimulation in Erlang. In: Boreale, M., Corradini, F., Loreti, M., Pugliese, R. (eds.) Models, Languages, and Tools for Concurrent and Distributed Programming. LNCS, vol. 11665, pp. 71\u201391. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-21485-2_6"},{"key":"9_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1007\/978-3-540-31982-5_18","volume-title":"Foundations of Software Science and Computational Structures","author":"C Laneve","year":"2005","unstructured":"Laneve, C., Zavattaro, G.: Foundations of web transactions. In: Sassone, V. (ed.) FoSSaCS 2005. LNCS, vol. 3441, pp. 282\u2013298. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/978-3-540-31982-5_18"},{"key":"9_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-642-29834-9_5","volume-title":"Web Services and Formal Methods","author":"HA L\u00f3pez","year":"2012","unstructured":"L\u00f3pez, H.A., P\u00e9rez, J.A.: Time and exceptional behavior in multiparty structured interactions. In: Carbone, M., Petit, J.-M. (eds.) WS-FM 2011. LNCS, vol. 7176, pp. 48\u201363. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-29834-9_5"},{"key":"9_CR33","unstructured":"Lou, C., Huang, P., Smith, S.: Understanding, detecting and localizing partial failures in large system software. In: NDSI, pp. 559\u2013574. USENIX Association (2020). https:\/\/www.usenix.org\/conference\/nsdi20\/presentation\/lou"},{"key":"9_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"856","DOI":"10.1007\/BFb0055108","volume-title":"Automata, Languages and Programming","author":"M Merro","year":"1998","unstructured":"Merro, M., Sangiorgi, D.: On asynchrony in name-passing calculi. In: Larsen, K.G., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol. 1443, pp. 856\u2013867. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/BFb0055108"},{"key":"9_CR35","unstructured":"Milner, R.: Communication and Concurrency. PHI Series in Computer Science. Prentice Hall, Upper Saddle River (1989)"},{"issue":"1","key":"9_CR36","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes. I. Inf. Comput. 100(1), 1\u201340 (1992). https:\/\/doi.org\/10.1016\/0890-5401(92)90008-4","journal-title":"I. Inf. Comput."},{"key":"9_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1007\/3-540-55719-9_114","volume-title":"Automata, Languages and Programming","author":"R Milner","year":"1992","unstructured":"Milner, R., Sangiorgi, D.: Barbed bisimulation. In: Kuich, W. (ed.) ICALP 1992. LNCS, vol. 623, pp. 685\u2013695. Springer, Heidelberg (1992). https:\/\/doi.org\/10.1007\/3-540-55719-9_114"},{"key":"9_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-642-21464-6_7","volume-title":"Coordination Models and Languages","author":"D Mostrous","year":"2011","unstructured":"Mostrous, D., Vasconcelos, V.T.: Session typing for a featherweight Erlang. In: De Meuter, W., Roman, G.-C. (eds.) COORDINATION 2011. LNCS, vol. 6721, pp. 95\u2013109. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-21464-6_7"},{"key":"9_CR39","doi-asserted-by":"publisher","unstructured":"Murgia, M.: Input urgent semantics for asynchronous timed session types. JLAMP 107, 38\u201353 (2019). https:\/\/doi.org\/10.1016\/j.jlamp.2019.04.001","DOI":"10.1016\/j.jlamp.2019.04.001"},{"key":"9_CR40","unstructured":"Nygard, M.T.: Release It!: Design and Deploy Production-Ready Software. Pragmatic Bookshelf (2018)"},{"key":"9_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1007\/3-540-63165-8_203","volume-title":"Automata, Languages and Programming","author":"J Riely","year":"1997","unstructured":"Riely, J., Hennessy, M.: Distributed processes and location failures. In: Degano, P., Gorrieri, R., Marchetti-Spaccamela, A. (eds.) ICALP 1997. LNCS, vol. 1256, pp. 471\u2013481. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/3-540-63165-8_203"},{"issue":"1\u20132","key":"9_CR42","doi-asserted-by":"publisher","first-page":"693","DOI":"10.1016\/S0304-3975(00)00326-1","volume":"266","author":"J Riely","year":"2001","unstructured":"Riely, J., Hennessy, M.: Distributed processes and location failures. Theor. Comput. Sci. 266(1\u20132), 693\u2013735 (2001). https:\/\/doi.org\/10.1016\/S0304-3975(00)00326-1","journal-title":"Theor. Comput. Sci."},{"key":"9_CR43","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/j.scico.2015.07.003","volume":"113","author":"Z Sabahi-Kaviani","year":"2015","unstructured":"Sabahi-Kaviani, Z., Khosravi, R., \u00d6lveczky, P.C., Khamespanah, E., Sirjani, M.: Formal semantics and efficient analysis of timed Rebeca in real-time Maude. Sci. Comput. Program. 113, 85\u2013118 (2015). https:\/\/doi.org\/10.1016\/j.scico.2015.07.003","journal-title":"Sci. Comput. Program."},{"key":"9_CR44","unstructured":"Sangiorgi, D., Walker, D.: The $$\\pi $$-Calculus: A Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)"},{"key":"9_CR45","doi-asserted-by":"publisher","unstructured":"Sankar, K.: Programming Erlang - Software for a Concurrent World by Joe Armstrong, p. 536. Pragmatic Bookshelf (2007). ISBN-10: 193435600x. J. Funct. Program. 19(2), 259\u2013261 (2009). https:\/\/doi.org\/10.1017\/S0956796809007163","DOI":"10.1017\/S0956796809007163"},{"key":"9_CR46","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"723","DOI":"10.1007\/BFb0035794","volume-title":"Automata, Languages and Programming","author":"B Steffen","year":"1989","unstructured":"Steffen, B.: Characteristic formulae. In: Ausiello, G., Dezani-Ciancaglini, M., Della Rocca, S.R. (eds.) ICALP 1989. LNCS, vol. 372, pp. 723\u2013732. Springer, Heidelberg (1989). https:\/\/doi.org\/10.1007\/BFb0035794"},{"key":"9_CR47","doi-asserted-by":"publisher","unstructured":"Svensson, H., Fredlund, L., Earle, C.B.: A unified semantics for future Erlang. In: Proceedings ACM SIGPLAN Workshop on Erlang, pp. 23\u201332. ACM (2010). https:\/\/doi.org\/10.1145\/1863509.1863514","DOI":"10.1145\/1863509.1863514"},{"key":"9_CR48","volume-title":"Akka Concurrency","author":"D Wyatt","year":"2013","unstructured":"Wyatt, D.: Akka Concurrency. Artima Incorporation, Sunnyvale (2013)"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-08143-9_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,13]],"date-time":"2022-06-13T13:07:32Z","timestamp":1655125652000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-08143-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031081453","9783031081439"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-08143-9_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"14 June 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"COORDINATION","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Coordination Languages and Models","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lucca","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 June 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 June 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"coordination2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"22","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"11","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"50% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}