{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,20]],"date-time":"2026-06-20T06:50:24Z","timestamp":1781938224024,"version":"3.54.5"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032283573","type":"print"},{"value":"9783032283580","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-28358-0_6","type":"book-chapter","created":{"date-parts":[[2026,6,20]],"date-time":"2026-06-20T06:00:33Z","timestamp":1781935233000},"page":"115-135","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["ScalaTropy: Multiparty Coordination with\u00a0Monadic Communication Primitives"],"prefix":"10.1007","author":[{"given":"Nicolas","family":"Farabegoli","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Luca","family":"Tassinari","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gianluca","family":"Aguzzi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mirko","family":"Viroli","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,6,21]]},"reference":[{"key":"6_CR1","doi-asserted-by":"publisher","unstructured":"Ancona, D., et al.: Behavioral types in programming languages. Found. Trends Program. Lang. 3(2-3), 95\u2013230 (2016). https:\/\/doi.org\/10.1561\/2500000031","DOI":"10.1561\/2500000031"},{"key":"6_CR2","doi-asserted-by":"publisher","unstructured":"Barbanera, F., Lanese, I., Tuosto, E.: A theory of formal choreographic languages. Log. Methods Comput. Sci. 19(3) (2023). https:\/\/doi.org\/10.46298\/LMCS-19(3:9)2023","DOI":"10.46298\/LMCS-19(3:9)2023"},{"key":"6_CR3","doi-asserted-by":"publisher","unstructured":"Bates, M., Kashiwa, S., Jafri, S., Shen, G., Kuper, L., Near, J.P.: Efficient, portable, census-polymorphic choreographic programming. Proc. ACM Program. Lang. 9(PLDI) (2025). https:\/\/doi.org\/10.1145\/3729296","DOI":"10.1145\/3729296"},{"key":"6_CR4","doi-asserted-by":"publisher","unstructured":"Carbone, M., Montesi, F.: Deadlock-freedom-by-design: multiparty asynchronous global programming. SIGPLAN Not. 48(1), 263274 (2013). https:\/\/doi.org\/10.1145\/2480359.2429101","DOI":"10.1145\/2480359.2429101"},{"key":"6_CR5","doi-asserted-by":"publisher","unstructured":"Carbone, M., Montesi, F.: Deadlock-freedom-by-design: multiparty asynchronous global programming. In: Giacobazzi, R., Cousot, R. (eds.) The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2013, Rome, Italy - 23\u201325 January 2013, pp. 263\u2013274. ACM (2013). https:\/\/doi.org\/10.1145\/2429069.2429101","DOI":"10.1145\/2429069.2429101"},{"key":"6_CR6","doi-asserted-by":"publisher","unstructured":"Carette, J., Kiselyov, O., Shan, C.: Finally tagless, partially evaluated: tagless staged interpreters for simpler typed languages. J. Funct. Program. 19(5), 509\u2013543 (2009). https:\/\/doi.org\/10.1017\/S0956796809007205","DOI":"10.1017\/S0956796809007205"},{"key":"6_CR7","doi-asserted-by":"publisher","unstructured":"Chen, R.F., Balzer, S., Toninho, B.: Ferrite: a judgmental embedding of session types in rust. In: Ali, K., Vitek, J. (eds.) 36th European Conference on Object-Oriented Programming (ECOOP 2022). Leibniz International Proceedings in Informatics (LIPIcs), vol.\u00a0222, pp. 22:1\u201322:28. Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik, Dagstuhl, Germany (2022). https:\/\/doi.org\/10.4230\/LIPIcs.ECOOP.2022.22. https:\/\/drops.dagstuhl.de\/entities\/document\/10.4230\/LIPIcs.ECOOP.2022.22","DOI":"10.4230\/LIPIcs.ECOOP.2022.22"},{"key":"6_CR8","doi-asserted-by":"publisher","unstructured":"Chlipala, A.: Ur\/web: a simple model for programming the web. SIGPLAN Not. 50(1), 153\u2013165 (2015). https:\/\/doi.org\/10.1145\/2775051.2677004","DOI":"10.1145\/2775051.2677004"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/978-3-540-74792-5_12","volume-title":"Formal Methods for Components and Objects","author":"E Cooper","year":"2007","unstructured":"Cooper, E., Lindley, S., Wadler, P., Yallop, J.: Links: web programming without tiers. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2006. LNCS, vol. 4709, pp. 266\u2013296. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-74792-5_12"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-319-39570-8_8","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"L Cruz-Filipe","year":"2016","unstructured":"Cruz-Filipe, L., Montesi, F.: Choreographies in practice. In: Albert, E., Lanese, I. (eds.) FORTE 2016. LNCS, vol. 9688, pp. 114\u2013123. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-39570-8_8"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-319-60225-7_7","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"L Cruz-Filipe","year":"2017","unstructured":"Cruz-Filipe, L., Montesi, F.: Procedural choreographic programming. In: Bouajjani, A., Silva, A. (eds.) FORTE 2017. LNCS, vol. 10321, pp. 92\u2013107. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-60225-7_7"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Dalla Preda, M., Gabbrielli, M., Giallorenzo, S., Lanese, I., Mauro, J.: Dynamic choreographies: theory and implementation. Log. Methods Comput. Sci. 13 (2017)","DOI":"10.23638\/LMCS-13(2:1)2017"},{"key":"6_CR13","doi-asserted-by":"publisher","unstructured":"Farabegoli, N., Tassinari, L., Aguzzi, G.: nicolasfara\/scalatropy: release v1.1.4 (2026). https:\/\/doi.org\/10.5281\/zenodo.19407062","DOI":"10.5281\/zenodo.19407062"},{"key":"6_CR14","doi-asserted-by":"publisher","unstructured":"Ghilezan, S., Jaksic, S., Pantovic, J., Scalas, A., Yoshida, N.: Precise subtyping for synchronous multiparty sessions. J. Log. Algebraic Methods Program. 104, 127\u2013173 (2019). https:\/\/doi.org\/10.1016\/J.JLAMP.2018.12.002","DOI":"10.1016\/J.JLAMP.2018.12.002"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Giallorenzo, S., Montesi, F., Gabbrielli, M.: Applied choreographies. In: International Conference on Formal Techniques for Distributed Objects, Components, and Systems, pp. 21\u201340. Springer (2018)","DOI":"10.1007\/978-3-319-92612-4_2"},{"key":"6_CR16","doi-asserted-by":"publisher","unstructured":"Giallorenzo, S., Montesi, F., Peressotti, M.: Choral: object-oriented choreographic programming. ACM Trans. Program. Lang. Syst. 46(1) (2024). https:\/\/doi.org\/10.1145\/3632398","DOI":"10.1145\/3632398"},{"key":"6_CR17","doi-asserted-by":"publisher","unstructured":"Giallorenzo, S., Montesi, F., Peressotti, M., Richter, D., Salvaneschi, G., Weisenburger, P.: Multiparty languages: the choreographic and multitier cases (pearl). In: M\u00f8ller, A., Sridharan, M. (eds.) 35th European Conference on Object-Oriented Programming, ECOOP 2021, Aarhus, Denmark (Virtual Conference), 11\u201317 July 2021. LIPIcs, vol.\u00a0194, pp. 22:1\u201322:27. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2021). https:\/\/doi.org\/10.4230\/LIPICS.ECOOP.2021.22","DOI":"10.4230\/LIPICS.ECOOP.2021.22"},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-642-19056-8_4","volume-title":"Distributed Computing and Internet Technology","author":"K Honda","year":"2011","unstructured":"Honda, K., Mukhamedov, A., Brown, G., Chen, T.-C., Yoshida, N.: Scribbling interactions with a formal foundation. In: Natarajan, R., Ojo, A. (eds.) ICDCIT 2011. LNCS, vol. 6536, pp. 55\u201375. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-19056-8_4"},{"key":"6_CR19","doi-asserted-by":"publisher","unstructured":"Ionescu, A., Russo, A.: Towards lightweight and efficient choreographic cloud services. In: Kameyama, Y., Xie, N. (eds.) Proceedings of the 2026 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2026, Rennes, France, 11\u201317 January 2026, pp. 45\u201360. ACM (2026). https:\/\/doi.org\/10.1145\/3779209.3779537","DOI":"10.1145\/3779209.3779537"},{"key":"6_CR20","unstructured":"Kashiwa, S., Kuper, L.: Chorus: library-level choreographic programming in rust. Choreographic Programming (CP) (2024). https:\/\/users.soe.ucsc.edu\/~lkuper\/papers\/chorus-cp24.pdf"},{"key":"6_CR21","unstructured":"Montesi, F.: Choreographic programming (2014)"},{"key":"6_CR22","doi-asserted-by":"publisher","unstructured":"Montesi, F., Guidi, C., Zavattaro, G.: Service-oriented programming with jolie. In: Bouguettaya, A., Sheng, Q.Z., Daniel, F. (eds.) Web Services Foundations, pp. 81\u2013107. Springer (2014). https:\/\/doi.org\/10.1007\/978-1-4614-7518-7_4","DOI":"10.1007\/978-1-4614-7518-7_4"},{"key":"6_CR23","doi-asserted-by":"publisher","unstructured":"Neubauer, M., Thiemann, P.: From sequential programs to multi-tier applications by program transformation. In: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, pp. 221\u2013232. Association for Computing Machinery, New York, NY, USA (2005). https:\/\/doi.org\/10.1145\/1040305.1040324","DOI":"10.1145\/1040305.1040324"},{"key":"6_CR24","doi-asserted-by":"publisher","unstructured":"Neubauer, M., Thiemann, P.: From sequential programs to multi-tier applications by program transformation. SIGPLAN Not. 40(1), 221\u2013232 (2005). https:\/\/doi.org\/10.1145\/1047659.1040324","DOI":"10.1145\/1047659.1040324"},{"key":"6_CR25","doi-asserted-by":"publisher","unstructured":"Serrano, M., Gallesio, E., Loitsch, F.: Hop: a language for programming the web 2.0. In: Tarr, P.L., Cook, W.R. (eds.) Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, 22\u201326 October 2006, Portland, Oregon, USA, pp. 975\u2013985. ACM (2006). https:\/\/doi.org\/10.1145\/1176617.1176756","DOI":"10.1145\/1176617.1176756"},{"key":"6_CR26","doi-asserted-by":"publisher","unstructured":"Shen, G., Kashiwa, S., Kuper, L.: Haschor: functional choreographic programming for all (functional pearl). Proc. ACM Program. Lang. 7(ICFP) (2023). https:\/\/doi.org\/10.1145\/3607849","DOI":"10.1145\/3607849"},{"key":"6_CR27","doi-asserted-by":"publisher","unstructured":"Weisenburger, P., Salvaneschi, G.: Implementing a language for distributed systems: choices and experiences with type level and macro programming in scala. Art Sci. Eng. Program. 4, 17 (2020). https:\/\/doi.org\/10.22152\/programming-journal.org\/2020\/4\/17","DOI":"10.22152\/programming-journal.org\/2020\/4\/17"},{"key":"6_CR28","doi-asserted-by":"publisher","unstructured":"Weisenburger, P., K\u00f6hler, M., Salvaneschi, G.: Distributed system development with scalaloci. Proc. ACM Program. Lang. 2(OOPSLA), 129:1\u2013129:30 (2018). https:\/\/doi.org\/10.1145\/3276499","DOI":"10.1145\/3276499"},{"key":"6_CR29","doi-asserted-by":"publisher","unstructured":"Weisenburger, P., Wirth, J., Salvaneschi, G.: A survey of multitier programming. ACM Comput. Surv. 53(4), 81:1\u201381:35 (2021). https:\/\/doi.org\/10.1145\/3397495","DOI":"10.1145\/3397495"}],"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-032-28358-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,20]],"date-time":"2026-06-20T06:00:36Z","timestamp":1781935236000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-28358-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032283573","9783032283580"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-28358-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"21 June 2026","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 Models and Languages","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Urbino","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":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 June 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 June 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"coordination2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.discotec.org\/2026\/coordination","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}