{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T02:46:49Z","timestamp":1767926809166,"version":"3.49.0"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783031177149","type":"print"},{"value":"9783031177156","type":"electronic"}],"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-17715-6_15","type":"book-chapter","created":{"date-parts":[[2022,10,2]],"date-time":"2022-10-02T09:02:27Z","timestamp":1664701347000},"page":"212-237","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Functional Choreographic Programming"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7866-7484","authenticated-orcid":false,"given":"Lu\u00eds","family":"Cruz-Filipe","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9430-4907","authenticated-orcid":false,"given":"Eva","family":"Graversen","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9684-9567","authenticated-orcid":false,"given":"Lovro","family":"Lugovi\u0107","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4666-901X","authenticated-orcid":false,"given":"Fabrizio","family":"Montesi","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0243-0480","authenticated-orcid":false,"given":"Marco","family":"Peressotti","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,10,3]]},"reference":[{"key":"15_CR1","doi-asserted-by":"publisher","unstructured":"Carbone, M., Honda, K., Yoshida, N.: Structured communication-centered programming for web services. ACM Trans. Program. Lang. Syst. 34(2), 8:1\u20138:78 (2012). https:\/\/doi.org\/10.1145\/2220365.2220367","DOI":"10.1145\/2220365.2220367"},{"key":"15_CR2","doi-asserted-by":"publisher","unstructured":"Carbone, M., Montesi, F.: Deadlock-freedom-by-design: multiparty asynchronous global programming. In: Giacobazzi, R., Cousot, R. (eds.) Proceedings, POPL, pp. 263\u2013274. ACM (2013). https:\/\/doi.org\/10.1145\/2429069.2429101","DOI":"10.1145\/2429069.2429101"},{"issue":"1","key":"15_CR3","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S0304-3975(99)00231-5","volume":"240","author":"L Cardelli","year":"2000","unstructured":"Cardelli, L., Gordon, A.D.: Mobile ambients. Theor. Comput. Sci. 240(1), 177\u2013213 (2000). https:\/\/doi.org\/10.1016\/S0304-3975(99)00231-5","journal-title":"Theor. Comput. Sci."},{"key":"15_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-21461-5_1","volume-title":"Formal Techniques for Distributed Systems","author":"G Castagna","year":"2011","unstructured":"Castagna, G., Dezani-Ciancaglini, M., Padovani, L.: On global types and multi-party sessions. In: Bruni, R., Dingel, J. (eds.) FMOODS\/FORTE -2011. LNCS, vol. 6722, pp. 1\u201328. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-21461-5_1"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Church, A.: A set of postulates for the foundation of logic. Ann. Math. 33(2), 346\u2013366 (1932). http:\/\/www.jstor.org\/stable\/1968337","DOI":"10.2307\/1968337"},{"key":"15_CR6","unstructured":"Cruz-Filipe, L., Graversen, E., Lugovic, L., Montesi, F., Peressotti, M.: Functional choreographic programming. CoRR abs\/2111.03701 (2021). https:\/\/arxiv.org\/abs\/2111.03701"},{"key":"15_CR7","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":"15_CR8","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1016\/j.tcs.2019.07.005","volume":"802","author":"L Cruz-Filipe","year":"2020","unstructured":"Cruz-Filipe, L., Montesi, F.: A core model for choreographic programming. Theor. Comput. Sci. 802, 38\u201366 (2020). https:\/\/doi.org\/10.1016\/j.tcs.2019.07.005","journal-title":"Theor. Comput. Sci."},{"key":"15_CR9","doi-asserted-by":"publisher","unstructured":"Cruz-Filipe, L., Montesi, F., Peressotti, M.: Communications in choreographies, revisited. In: Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, 09\u201313 April 2018, pp. 1248\u20131255. ACM (2018). https:\/\/doi.org\/10.1145\/3167132.3167267","DOI":"10.1145\/3167132.3167267"},{"key":"15_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-030-85315-0_8","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2021","author":"L Cruz-Filipe","year":"2021","unstructured":"Cruz-Filipe, L., Montesi, F., Peressotti, M.: Certifying choreography compilation. In: Cerone, A., \u00d6lveczky, P.C. (eds.) ICTAC 2021. LNCS, vol. 12819, pp. 115\u2013133. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-85315-0_8"},{"key":"15_CR11","doi-asserted-by":"publisher","unstructured":"Cruz-Filipe, L., Montesi, F., Peressotti, M.: Formalising a turing-complete choreographic language in coq. In: Cohen, L., Kaliszyk, C. (eds.) 12th International Conference on Interactive Theorem Proving, ITP 2021, Rome, Italy (Virtual Conference), 29 June\u20131 July 2021, LIPIcs, vol. 193, pp. 15:1\u201315:18. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2021). https:\/\/doi.org\/10.4230\/LIPIcs.ITP.2021.15","DOI":"10.4230\/LIPIcs.ITP.2021.15"},{"key":"15_CR12","doi-asserted-by":"publisher","unstructured":"Dalla Preda, M., Gabbrielli, M., Giallorenzo, S., Lanese, I., Mauro, J.: Dynamic choreographies: theory and implementation. Log. Methods Comput. Sci. 13(2) (2017). https:\/\/doi.org\/10.23638\/LMCS-13(2:1)2017","DOI":"10.23638\/LMCS-13"},{"key":"15_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1007\/978-3-642-32940-1_20","volume-title":"CONCUR 2012 \u2013 Concurrency Theory","author":"R Demangeon","year":"2012","unstructured":"Demangeon, R., Honda, K.: Nested protocols in session types. In: Koutny, M., Ulidowski, I. (eds.) CONCUR 2012. LNCS, vol. 7454, pp. 272\u2013286. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-32940-1_20"},{"issue":"6","key":"15_CR14","doi-asserted-by":"publisher","first-page":"644","DOI":"10.1109\/TIT.1976.1055638","volume":"22","author":"W Diffie","year":"1976","unstructured":"Diffie, W., Hellman, M.E.: New directions in cryptography. IEEE Trans. Inf. Theory 22(6), 644\u2013654 (1976). https:\/\/doi.org\/10.1109\/TIT.1976.1055638","journal-title":"IEEE Trans. Inf. Theory"},{"key":"15_CR15","unstructured":"Giallorenzo, S., Montesi, F., Peressotti, M.: Choreographies as objects. CoRR abs\/2005.09520 (2020). https:\/\/arxiv.org\/abs\/2005.09520"},{"key":"15_CR16","unstructured":"Giallorenzo, S., Montesi, F., Peressotti, M., Richter, D., Salvaneschi, G., Weisenburger, P.: Multiparty languages: the choreographic and multitier cases. In: 35th European Conference on Object-Oriented Programming, ECOOP 2021, Aarhus, Denmark (Virtual Conference), 12\u201317 July 2021, LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2021). to appear. https:\/\/fabriziomontesi.com\/files\/gmprsw21.pdf"},{"key":"15_CR17","unstructured":"Object\u00a0Management Group: Business Process Model and Notation (2011). http:\/\/www.omg.org\/spec\/BPMN\/2.0\/ (2011)"},{"key":"15_CR18","doi-asserted-by":"publisher","unstructured":"Hirsch, A.K., Garg, D.: Pirouette: higher-order typed functional choreographies. Proc. ACM Program. Lang. 6(POPL), 1\u201327 (2022). https:\/\/doi.org\/10.1145\/3498684","DOI":"10.1145\/3498684"},{"key":"15_CR19","doi-asserted-by":"publisher","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. J. ACM 63(1), 9 (2016). https:\/\/doi.org\/10.1145\/2827695, also: POPL, pages 273\u2013284, 2008","DOI":"10.1145\/2827695"},{"key":"15_CR20","doi-asserted-by":"publisher","unstructured":"H\u00fcttel, H., et al.: Foundations of session types and behavioural contracts. ACM Comput. Surv. 49(1), 3:1\u20133:36 (2016). https:\/\/doi.org\/10.1145\/2873052","DOI":"10.1145\/2873052"},{"key":"15_CR21","unstructured":"Intl. Telecommunication Union: Recommendation Z.120: Message Sequence Chart (1996)"},{"key":"15_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"520","DOI":"10.1007\/978-3-030-99336-8_19","volume-title":"Programming Languages and Systems","author":"S-S Jongmans","year":"2022","unstructured":"Jongmans, S.-S., van den Bos, P.: A predicate transformer for choreographies. In: ESOP 2022. LNCS, vol. 13240, pp. 520\u2013547. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-030-99336-8_19"},{"key":"15_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/978-3-319-39570-8_13","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"HA L\u00f3pez","year":"2016","unstructured":"L\u00f3pez, H.A., Nielson, F., Nielson, H.R.: Enforcing availability in failure-aware communicating systems. In: Albert, E., Lanese, I. (eds.) FORTE 2016. LNCS, vol. 9688, pp. 195\u2013211. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-39570-8_13"},{"key":"15_CR24","unstructured":"Montesi, F.: Choreographic Programming. Ph.D. Thesis, IT University of Copenhagen (2013)"},{"key":"15_CR25","volume-title":"Introduction to Choreographies","author":"F Montesi","year":"2022","unstructured":"Montesi, F.: Introduction to Choreographies. Cambridge University Press, Cambridge (2022)"},{"key":"15_CR26","doi-asserted-by":"publisher","unstructured":"Murphy\u00a0VII, T., Crary, K., Harper, R., Pfenning, F.: A symmetric modal lambda calculus for distributed computing. In: 19th IEEE Symposium on Logic in Computer Science (LICS 2004), Turku, Finland, 14-17 July 2004, Proceedings, pp. 286\u2013295. IEEE Computer Society (2004). https:\/\/doi.org\/10.1109\/LICS.2004.1319623","DOI":"10.1109\/LICS.2004.1319623"},{"issue":"12","key":"15_CR27","doi-asserted-by":"publisher","first-page":"993","DOI":"10.1145\/359657.359659","volume":"21","author":"RM Needham","year":"1978","unstructured":"Needham, R.M., Schroeder, M.D.: Using encryption for authentication in large networks of computers. Commun. ACM 21(12), 993\u2013999 (1978). https:\/\/doi.org\/10.1145\/359657.359659","journal-title":"Commun. ACM"},{"key":"15_CR28","unstructured":"OpenID Foundation: OpenID Specification (2014). https:\/\/openid.net\/developers\/specs\/"},{"key":"15_CR29","volume-title":"Types and Programming Languages","author":"BC Pierce","year":"2002","unstructured":"Pierce, B.C.: Types and Programming Languages. MIT Press, Cambridge (2002)"},{"key":"15_CR30","doi-asserted-by":"publisher","unstructured":"Pohjola, J.\u00c5., G\u00f3mez-Londo\u00f1o, A., Shaker, J., Norrish, M.: Kalas: A verified, end-to-end compiler for a choreographic language. In: Andronick, J., de\u00a0Moura, L. (eds.) 13th International Conference on Interactive Theorem Proving, ITP 2022, Haifa, Israel, 7\u201310 August 2022, LIPIcs, vol.\u00a0237, pp. 27:1\u201327:18. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2022). https:\/\/doi.org\/10.4230\/LIPIcs.ITP.2022.27","DOI":"10.4230\/LIPIcs.ITP.2022.27"},{"key":"15_CR31","doi-asserted-by":"publisher","unstructured":"Vollbrecht, J., Carlson, J.D., Blunk, L., Aboba, D.B.D., Levkowetz, H.: Extensible Authentication Protocol (EAP). RFC 3748 (2004). https:\/\/doi.org\/10.17487\/RFC3748, https:\/\/rfc-editor.org\/rfc\/rfc3748.txt","DOI":"10.17487\/RFC3748"},{"key":"15_CR32","unstructured":"W3C: WS Choreography Description Language (2004). http:\/\/www.w3.org\/TR\/ws-cdl-10\/"},{"key":"15_CR33","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 (2020). https:\/\/doi.org\/10.1145\/3397495","DOI":"10.1145\/3397495"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2022"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-17715-6_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,2]],"date-time":"2022-10-02T23:03:55Z","timestamp":1664751835000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-17715-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031177149","9783031177156"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-17715-6_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"3 October 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICTAC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Colloquium on Theoretical Aspects of Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tbilisi","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Georgia","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":"27 September 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 September 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ictac2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/viam.science.tsu.ge\/clas2022\/ictac\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}