{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T07:03:25Z","timestamp":1779087805028,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":40,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,10,22]],"date-time":"2023-10-22T00:00:00Z","timestamp":1697932800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,10,22]]},"DOI":"10.1145\/3610612.3610614","type":"proceedings-article","created":{"date-parts":[[2023,10,16]],"date-time":"2023-10-16T23:13:48Z","timestamp":1697498028000},"page":"1-15","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Multicompatibility for Multiparty-Session Composition"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8039-1085","authenticated-orcid":false,"given":"Franco","family":"Barbanera","sequence":"first","affiliation":[{"name":"Dipartimento di Matematica e Informatica, University of Catania, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3341-0941","authenticated-orcid":false,"given":"Mariangiola","family":"Dezani-Ciancaglini","sequence":"additional","affiliation":[{"name":"Dipartimento di Informatica, Universit\u00e0 di Torino, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3191-7722","authenticated-orcid":false,"given":"Lorenzo","family":"Gheri","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Oxford, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3925-8557","authenticated-orcid":false,"given":"Nobuko","family":"Yoshida","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Oxford, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,10,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129506005706"},{"key":"e_1_3_2_1_2_1","first-page":"3","article-title":"A theoretical perspective of coinductive logic programming","volume":"140","author":"Ancona Davide","year":"2015","unstructured":"Davide Ancona and Agostino Dovier . 2015 . A theoretical perspective of coinductive logic programming . Fundamenta Informaticae 140 , 3 - 4 (2015), 221\u2013246. https:\/\/doi.org\/10.3233\/FI-2015-1252 10.3233\/FI-2015-1252 Davide Ancona and Agostino Dovier. 2015. A theoretical perspective of coinductive logic programming. Fundamenta Informaticae 140, 3-4 (2015), 221\u2013246. https:\/\/doi.org\/10.3233\/FI-2015-1252","journal-title":"Fundamenta Informaticae"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2019.07.004"},{"key":"e_1_3_2_1_4_1","volume-title":"FACS(LNCS, Vol.\u00a013712), S.\u00a0Lizeth\u00a0Tapia Tarifa and Jos\u00e9 Proen\u00e7a (Eds.)","author":"Barbanera Franco","year":"2087","unstructured":"Franco Barbanera , Mariangiola Dezani-Ciancaglini , and Ugo de\u2019 Liguoro . 2022. Open compliance in multiparty sessions . In FACS(LNCS, Vol.\u00a013712), S.\u00a0Lizeth\u00a0Tapia Tarifa and Jos\u00e9 Proen\u00e7a (Eds.) . Springer , Berlin , 222\u2013243. https:\/\/doi.org\/10.1007\/978-3-031- 2087 2-0_13 extended version at http:\/\/www.di.unito.it\/\u00a0dezani\/papers\/bd23b.pdf. 10.1007\/978-3-031-20872-0_13 Franco Barbanera, Mariangiola Dezani-Ciancaglini, and Ugo de\u2019Liguoro. 2022. Open compliance in multiparty sessions. In FACS(LNCS, Vol.\u00a013712), S.\u00a0Lizeth\u00a0Tapia Tarifa and Jos\u00e9 Proen\u00e7a (Eds.). Springer, Berlin, 222\u2013243. https:\/\/doi.org\/10.1007\/978-3-031-20872-0_13 extended version at http:\/\/www.di.unito.it\/\u00a0dezani\/papers\/bd23b.pdf."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2020.100620"},{"key":"e_1_3_2_1_6_1","volume-title":"ISoLA(LNCS, Vol.\u00a012476)","author":"Barbanera Franco","unstructured":"Franco Barbanera , Ivan Lanese , and Emilio Tuosto . 2020. Composing communicating systems, synchronously . In ISoLA(LNCS, Vol.\u00a012476) , Tiziana Margaria and Bernhard Steffen (Eds.). Springer , Berlin , 39\u201359. https:\/\/doi.org\/10.1007\/978-3-030-61362-4_3 10.1007\/978-3-030-61362-4_3 Franco Barbanera, Ivan Lanese, and Emilio Tuosto. 2020. Composing communicating systems, synchronously. In ISoLA(LNCS, Vol.\u00a012476), Tiziana Margaria and Bernhard Steffen (Eds.). Springer, Berlin, 39\u201359. https:\/\/doi.org\/10.1007\/978-3-030-61362-4_3"},{"key":"e_1_3_2_1_7_1","volume-title":"COORDINATION(LNCS, Vol.\u00a013271), Maurice\u00a0H. ter Beek and Marjan Sirjani (Eds.)","author":"Barbanera Franco","unstructured":"Franco Barbanera , Ivan Lanese , and Emilio Tuosto . 2022. Formal choreographic languages . In COORDINATION(LNCS, Vol.\u00a013271), Maurice\u00a0H. ter Beek and Marjan Sirjani (Eds.) . Springer , Berlin , 121\u2013139. https:\/\/doi.org\/10.1007\/978-3-031-08143-9_8 10.1007\/978-3-031-08143-9_8 Franco Barbanera, Ivan Lanese, and Emilio Tuosto. 2022. Formal choreographic languages. In COORDINATION(LNCS, Vol.\u00a013271), Maurice\u00a0H. ter Beek and Marjan Sirjani (Eds.). Springer, Berlin, 121\u2013139. https:\/\/doi.org\/10.1007\/978-3-031-08143-9_8"},{"key":"e_1_3_2_1_8_1","volume-title":"ICE(EPTCS, Vol.\u00a0365), Cl\u00e9ment Aubert, Cinzia\u00a0Di Giusto","author":"Barbanera Franco","unstructured":"Franco Barbanera , Ivan Lanese , and Emilio Tuosto . 2022. On composing communicating systems . In ICE(EPTCS, Vol.\u00a0365), Cl\u00e9ment Aubert, Cinzia\u00a0Di Giusto , Larisa Safina, and Alceste Scalas (Eds.). Open Publishing Association , Waterloo , 53\u201368. https:\/\/doi.org\/10.4204\/EPTCS.365.4 10.4204\/EPTCS.365.4 Franco Barbanera, Ivan Lanese, and Emilio Tuosto. 2022. On composing communicating systems. In ICE(EPTCS, Vol.\u00a0365), Cl\u00e9ment Aubert, Cinzia\u00a0Di Giusto, Larisa Safina, and Alceste Scalas (Eds.). Open Publishing Association, Waterloo, 53\u201368. https:\/\/doi.org\/10.4204\/EPTCS.365.4"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/322374.322380"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2017.07.010"},{"key":"e_1_3_2_1_11_1","volume-title":"Synchronous forwarders. CoRR abs\/2102.04731","author":"Carbone Marco","year":"2021","unstructured":"Marco Carbone , Sonia Marin , and Carsten Sch\u00fcrmann . 2021. Synchronous forwarders. CoRR abs\/2102.04731 ( 2021 ), 44\u00a0pages. arXiv:2102.04731https:\/\/arxiv.org\/abs\/2102.04731 Marco Carbone, Sonia Marin, and Carsten Sch\u00fcrmann. 2021. Synchronous forwarders. CoRR abs\/2102.04731 (2021), 44\u00a0pages. arXiv:2102.04731https:\/\/arxiv.org\/abs\/2102.04731"},{"key":"#cr-split#-e_1_3_2_1_12_1.1","unstructured":"Ilaria Castellani Mariangiola Dezani-Ciancaglini and Paola Giannini. 2021. Global types and event structure semantics for asynchronous multiparty sessions. https:\/\/doi.org\/10.48550\/ARXIV.2102.00865 10.48550\/ARXIV.2102.00865"},{"key":"#cr-split#-e_1_3_2_1_12_1.2","unstructured":"Ilaria Castellani Mariangiola Dezani-Ciancaglini and Paola Giannini. 2021. Global types and event structure semantics for asynchronous multiparty sessions. https:\/\/doi.org\/10.48550\/ARXIV.2102.00865"},{"key":"e_1_3_2_1_13_1","volume-title":"Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes","author":"Castro-Perez David","unstructured":"David Castro-Perez , Francisco Ferreira , Lorenzo Gheri , and Nobuko Yoshida . 2021. Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes . In PLDI, Stephen\u00a0N. Freund and Eran Yahav (Eds.). ACM , New York, NY , 237\u2013251. https:\/\/doi.org\/10.1145\/3453483.3454041 10.1145\/3453483.3454041 David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, and Nobuko Yoshida. 2021. Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes. In PLDI, Stephen\u00a0N. Freund and Eran Yahav (Eds.). ACM, New York, NY, 237\u2013251. https:\/\/doi.org\/10.1145\/3453483.3454041"},{"key":"e_1_3_2_1_14_1","volume-title":"SFM(LNCS, Vol.\u00a09104), Marco Bernardo and Einar\u00a0Broch Johnsen (Eds.)","author":"Coppo Mario","year":"1894","unstructured":"Mario Coppo , Mariangiola Dezani-Ciancaglini , Luca Padovani , and Nobuko Yoshida . 2015. A gentle introduction to multiparty asynchronous session types . In SFM(LNCS, Vol.\u00a09104), Marco Bernardo and Einar\u00a0Broch Johnsen (Eds.) . Springer , Berlin , 146\u2013178. https:\/\/doi.org\/10.1007\/978-3-319- 1894 1-3_4 10.1007\/978-3-319-18941-3_4 Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, and Nobuko Yoshida. 2015. A gentle introduction to multiparty asynchronous session types. In SFM(LNCS, Vol.\u00a09104), Marco Bernardo and Einar\u00a0Broch Johnsen (Eds.). Springer, Berlin, 146\u2013178. https:\/\/doi.org\/10.1007\/978-3-319-18941-3_4"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(83)90059-2"},{"key":"e_1_3_2_1_16_1","volume-title":"Deconfined global types for asynchronous sessions. Logical Methods in Computer Science","author":"Dagnino Francesco","year":"2023","unstructured":"Francesco Dagnino , Paola Giannini , and Mariangiola Dezani-Ciancaglini . 2023. Deconfined global types for asynchronous sessions. Logical Methods in Computer Science Volume 19 , Issue 1 ( 2023 ), 1\u201341. https:\/\/doi.org\/10.46298\/lmcs-19(1:3)2023 10.46298\/lmcs-19(1:3)2023 Francesco Dagnino, Paola Giannini, and Mariangiola Dezani-Ciancaglini. 2023. Deconfined global types for asynchronous sessions. Logical Methods in Computer Science Volume 19, Issue 1 (2023), 1\u201341. https:\/\/doi.org\/10.46298\/lmcs-19(1:3)2023"},{"key":"e_1_3_2_1_17_1","volume-title":"CONCUR(LNCS, Vol.\u00a07454)","author":"Demangeon Romain","unstructured":"Romain Demangeon and Kohei Honda . 2012. Nested protocols in session types . In CONCUR(LNCS, Vol.\u00a07454) , Maciej Koutny and Irek Ulidowski (Eds.). Springer , Berlin , 272\u2013286. https:\/\/doi.org\/10.1007\/978-3-642-32940-1_20 10.1007\/978-3-642-32940-1_20 Romain Demangeon and Kohei Honda. 2012. Nested protocols in session types. In CONCUR(LNCS, Vol.\u00a07454), Maciej Koutny and Irek Ulidowski (Eds.). Springer, Berlin, 272\u2013286. https:\/\/doi.org\/10.1007\/978-3-642-32940-1_20"},{"key":"e_1_3_2_1_18_1","volume-title":"Multiparty compatibility in communicating automata: characterisation and synthesis of global session types","author":"Deni\u00e9lou Pierre-Malo","unstructured":"Pierre-Malo Deni\u00e9lou and Nobuko Yoshida . 2013. Multiparty compatibility in communicating automata: characterisation and synthesis of global session types . In ICALP, Fedor\u00a0V. Fomin, R\u016bsi\u0146\u0161 Freivalds, Marta Kwiatkowska, and David Peleg (Eds.). Springer , Berlin , 174\u2013186. https:\/\/doi.org\/10.1007\/978-3-642-39212-2_18 10.1007\/978-3-642-39212-2_18 Pierre-Malo Deni\u00e9lou and Nobuko Yoshida. 2013. Multiparty compatibility in communicating automata: characterisation and synthesis of global session types. In ICALP, Fedor\u00a0V. Fomin, R\u016bsi\u0146\u0161 Freivalds, Marta Kwiatkowska, and David Peleg (Eds.). Springer, Berlin, 174\u2013186. https:\/\/doi.org\/10.1007\/978-3-642-39212-2_18"},{"key":"e_1_3_2_1_19_1","volume-title":"Proc. ACM Program. Lang. 7, OOPSLA1, Article 79","author":"Gheri Lorenzo","year":"2023","unstructured":"Lorenzo Gheri and Nobuko Yoshida . 2023 . Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection . Proc. ACM Program. Lang. 7, OOPSLA1, Article 79 (2023), 31\u00a0pages. https:\/\/doi.org\/10.1145\/3586031 10.1145\/3586031 Lorenzo Gheri and Nobuko Yoshida. 2023. Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection. Proc. ACM Program. Lang. 7, OOPSLA1, Article 79 (2023), 31\u00a0pages. https:\/\/doi.org\/10.1145\/3586031"},{"key":"e_1_3_2_1_20_1","volume-title":"ICDCIT(LNCS, Vol.\u00a06536)","author":"Honda Kohei","year":"1905","unstructured":"Kohei Honda , Aybek Mukhamedov , Gary Brown , Tzu-Chun Chen , and Nobuko Yoshida . 2011. Scribbling interactions with a formal foundation . In ICDCIT(LNCS, Vol.\u00a06536) , Raja Natarajan and Adegboyega Ojo (Eds.). Springer , Berlin , 55\u201375. https:\/\/doi.org\/10.1007\/978-3-642- 1905 6-8_4 10.1007\/978-3-642-19056-8_4 Kohei Honda, Aybek Mukhamedov, Gary Brown, Tzu-Chun Chen, and Nobuko Yoshida. 2011. Scribbling interactions with a formal foundation. In ICDCIT(LNCS, Vol.\u00a06536), Raja Natarajan and Adegboyega Ojo (Eds.). Springer, Berlin, 55\u201375. https:\/\/doi.org\/10.1007\/978-3-642-19056-8_4"},{"key":"e_1_3_2_1_21_1","volume-title":"Multiparty asynchronous session types","author":"Honda Kohei","unstructured":"Kohei Honda , Nobuko Yoshida , and Marco Carbone . 2008. Multiparty asynchronous session types . In POPL, George\u00a0C. Necula and Philip Wadler (Eds.). ACM Press , New York, NY , 273\u2013284. https:\/\/doi.org\/10.1145\/1328897.1328472 10.1145\/1328897.1328472 Kohei Honda, Nobuko Yoshida, and Marco Carbone. 2008. Multiparty asynchronous session types. In POPL, George\u00a0C. Necula and Philip Wadler (Eds.). ACM Press, New York, NY, 273\u2013284. https:\/\/doi.org\/10.1145\/1328897.1328472"},{"key":"e_1_3_2_1_22_1","article-title":"Multiparty asynchronous session types","volume":"63","author":"Honda Kohei","year":"2016","unstructured":"Kohei Honda , Nobuko Yoshida , and Marco Carbone . 2016 . Multiparty asynchronous session types . Journal of the ACM 63 , 1 (2016), 9:1\u20139:67. https:\/\/doi.org\/10.1145\/2827695 10.1145\/2827695 Kohei Honda, Nobuko Yoshida, and Marco Carbone. 2016. Multiparty asynchronous session types. Journal of the ACM 63, 1 (2016), 9:1\u20139:67. https:\/\/doi.org\/10.1145\/2827695","journal-title":"Journal of the ACM"},{"key":"e_1_3_2_1_23_1","first-page":"1","article-title":"Session subtyping and multiparty compatibility using circular sequents. In CONCUR(LIPIcs, Vol.\u00a0171), Igor Konnov and Laura Kov\u00e1cs (Eds.). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik","volume":"12","author":"Horne Ross","year":"2020","unstructured":"Ross Horne . 2020 . Session subtyping and multiparty compatibility using circular sequents. In CONCUR(LIPIcs, Vol.\u00a0171), Igor Konnov and Laura Kov\u00e1cs (Eds.). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik , Dagstuhl , 12 : 1 \u2013 12 :22. https:\/\/doi.org\/10.4230\/LIPIcs.CONCUR.2020.12 10.4230\/LIPIcs.CONCUR.2020.12 Ross Horne. 2020. Session subtyping and multiparty compatibility using circular sequents. In CONCUR(LIPIcs, Vol.\u00a0171), Igor Konnov and Laura Kov\u00e1cs (Eds.). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, Dagstuhl, 12:1\u201312:22. https:\/\/doi.org\/10.4230\/LIPIcs.CONCUR.2020.12","journal-title":"Dagstuhl"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2002.3171"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129515000493"},{"key":"e_1_3_2_1_26_1","volume-title":"CONCUR(LNCS, Vol.\u00a07454)","author":"Lange Julien","unstructured":"Julien Lange and Emilio Tuosto . 2012. Synthesising choreographies from local session types . In CONCUR(LNCS, Vol.\u00a07454) , Maciej Koutny and Irek Ulidowski (Eds.). Springer , Berlin , 225\u2013239. https:\/\/doi.org\/10.1007\/978-3-642-32940-1_17 10.1007\/978-3-642-32940-1_17 Julien Lange and Emilio Tuosto. 2012. Synthesising choreographies from local session types. In CONCUR(LNCS, Vol.\u00a07454), Maciej Koutny and Irek Ulidowski (Eds.). Springer, Berlin, 225\u2013239. https:\/\/doi.org\/10.1007\/978-3-642-32940-1_17"},{"key":"e_1_3_2_1_27_1","volume-title":"From communicating machines to graphical choreographies","author":"Lange Julien","unstructured":"Julien Lange , Emilio Tuosto , and Nobuko Yoshida . 2015. From communicating machines to graphical choreographies . In POPL, Sriram\u00a0K. Rajamani and David Walker (Eds.). ACM Press , New York, NY , 221\u2013232. https:\/\/doi.org\/10.1145\/2676726.2676964 10.1145\/2676726.2676964 Julien Lange, Emilio Tuosto, and Nobuko Yoshida. 2015. From communicating machines to graphical choreographies. In POPL, Sriram\u00a0K. Rajamani and David Walker (Eds.). ACM Press, New York, NY, 221\u2013232. https:\/\/doi.org\/10.1145\/2676726.2676964"},{"key":"e_1_3_2_1_28_1","volume-title":"FOSSACS(LNCS, Vol.\u00a010203), Javier Esparza and Andrzej\u00a0S","author":"Lange Julien","unstructured":"Julien Lange and Nobuko Yoshida . 2017. On the undecidability of asynchronous session subtyping . In FOSSACS(LNCS, Vol.\u00a010203), Javier Esparza and Andrzej\u00a0S . Murawski (Eds.). Springer , Berlin , 441\u2013457. https:\/\/doi.org\/10.1007\/978-3-662-54458-7_26 10.1007\/978-3-662-54458-7_26 Julien Lange and Nobuko Yoshida. 2017. On the undecidability of asynchronous session subtyping. In FOSSACS(LNCS, Vol.\u00a010203), Javier Esparza and Andrzej\u00a0S. Murawski (Eds.). Springer, Berlin, 441\u2013457. https:\/\/doi.org\/10.1007\/978-3-662-54458-7_26"},{"key":"e_1_3_2_1_29_1","volume-title":"Models, Languages, and Tools for Concurrent and Distributed Programming: Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday(LNCS, Vol.\u00a011665)","author":"Neykova Rumyana","unstructured":"Rumyana Neykova and Nobuko Yoshida . 2019. Featherweight Scribble . In Models, Languages, and Tools for Concurrent and Distributed Programming: Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday(LNCS, Vol.\u00a011665) , Michele Boreale, Flavio Corradini, Michele Loreti, and Rosario Pugliese (Eds.). Springer , Berlin , 236\u2013259. https:\/\/doi.org\/10.1007\/978-3-030-21485-2_14 10.1007\/978-3-030-21485-2_14 Rumyana Neykova and Nobuko Yoshida. 2019. Featherweight Scribble. In Models, Languages, and Tools for Concurrent and Distributed Programming: Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday(LNCS, Vol.\u00a011665), Michele Boreale, Flavio Corradini, Michele Loreti, and Rosario Pugliese (Eds.). Springer, Berlin, 236\u2013259. https:\/\/doi.org\/10.1007\/978-3-030-21485-2_14"},{"key":"e_1_3_2_1_30_1","volume-title":"CSL-LICS, Thomas\u00a0A","author":"Padovani Luca","unstructured":"Luca Padovani . 2014. Deadlock and lock freedom in the linear \u03c0 -calculus . In CSL-LICS, Thomas\u00a0A . Henzinger and Dale Miller (Eds.). ACM Press , New York, NY , 72:1\u201372:10. https:\/\/doi.org\/10.1007\/978-3-662-43376-8_10 10.1007\/978-3-662-43376-8_10 Luca Padovani. 2014. Deadlock and lock freedom in the linear \u03c0 -calculus. In CSL-LICS, Thomas\u00a0A. Henzinger and Dale Miller (Eds.). ACM Press, New York, NY, 72:1\u201372:10. https:\/\/doi.org\/10.1007\/978-3-662-43376-8_10"},{"key":"e_1_3_2_1_31_1","volume-title":"Types and Programming Languages","author":"Pierce C.","unstructured":"Benjamin\u00a0 C. Pierce . 2002. Types and Programming Languages . MIT Press , Cambridge ,MA. I\u2013XXI, 1\u2013623 pages. Benjamin\u00a0C. Pierce. 2002. Types and Programming Languages. MIT Press, Cambridge,MA. I\u2013XXI, 1\u2013623 pages."},{"key":"e_1_3_2_1_32_1","volume-title":"Proceedings of the ACM on Programming Languages 3, POPL","author":"Scalas Alceste","year":"2019","unstructured":"Alceste Scalas and Nobuko Yoshida . 2019 . Less is more: multiparty session types revisited . Proceedings of the ACM on Programming Languages 3, POPL (2019), 30:1\u201330:29. https:\/\/doi.org\/10.1145\/3290343 10.1145\/3290343 Alceste Scalas and Nobuko Yoshida. 2019. Less is more: multiparty session types revisited. Proceedings of the ACM on Programming Languages 3, POPL (2019), 30:1\u201330:29. https:\/\/doi.org\/10.1145\/3290343"},{"key":"e_1_3_2_1_33_1","volume-title":"Extending logic programming with coinduction. Ph.\u00a0D. Dissertation","author":"Simon Luke","unstructured":"Luke Simon . 2006. Extending logic programming with coinduction. Ph.\u00a0D. Dissertation . University of Texas at Dallas. Luke Simon. 2006. Extending logic programming with coinduction. Ph.\u00a0D. Dissertation. University of Texas at Dallas."},{"key":"e_1_3_2_1_34_1","volume-title":"ICALP(LNCS, Vol.\u00a04596)","author":"Simon Luke","unstructured":"Luke Simon , Ajay Bansal , Ajay Mallya , and Gopal Gupta . 2007. Co-Logic programming: extending logic programming with coinduction . In ICALP(LNCS, Vol.\u00a04596) , Lars Arge, Christian Cachin, Tomasz Jurdzinski, and Andrzej Tarlecki (Eds.). Springer , Berlin , 472\u2013483. https:\/\/doi.org\/10.1007\/978-3-540-73420-8_42 10.1007\/978-3-540-73420-8_42 Luke Simon, Ajay Bansal, Ajay Mallya, and Gopal Gupta. 2007. Co-Logic programming: extending logic programming with coinduction. In ICALP(LNCS, Vol.\u00a04596), Lars Arge, Christian Cachin, Tomasz Jurdzinski, and Andrzej Tarlecki (Eds.). Springer, Berlin, 472\u2013483. https:\/\/doi.org\/10.1007\/978-3-540-73420-8_42"},{"key":"e_1_3_2_1_35_1","volume-title":"ICLP(LNCS, Vol.\u00a04079)","author":"Simon Luke","unstructured":"Luke Simon , Ajay Mallya , Ajay Bansal , and Gopal Gupta . 2006. Coinductive logic programming . In ICLP(LNCS, Vol.\u00a04079) , Sandro Etalle and Miroslaw Truszczynski (Eds.). Springer , Berlin , 330\u2013345. https:\/\/doi.org\/10.1007\/11799573_25 10.1007\/11799573_25 Luke Simon, Ajay Mallya, Ajay Bansal, and Gopal Gupta. 2006. Coinductive logic programming. In ICLP(LNCS, Vol.\u00a04079), Sandro Etalle and Miroslaw Truszczynski (Eds.). Springer, Berlin, 330\u2013345. https:\/\/doi.org\/10.1007\/11799573_25"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-022-01040-x"},{"key":"e_1_3_2_1_37_1","volume-title":"ICDCIT(LNCS, Vol.\u00a011969), Dang\u00a0Van Hung and Meenakshi D\u00b4Souza (Eds.)","author":"Yoshida Nobuko","unstructured":"Nobuko Yoshida and Lorenzo Gheri . 2020. A very gentle introduction to multiparty session types . In ICDCIT(LNCS, Vol.\u00a011969), Dang\u00a0Van Hung and Meenakshi D\u00b4Souza (Eds.) . Springer , Berlin , 73\u201393. https:\/\/doi.org\/10.1007\/978-3-030-36987-3_5 10.1007\/978-3-030-36987-3_5 Nobuko Yoshida and Lorenzo Gheri. 2020. A very gentle introduction to multiparty session types. In ICDCIT(LNCS, Vol.\u00a011969), Dang\u00a0Van Hung and Meenakshi D\u00b4Souza (Eds.). Springer, Berlin, 73\u201393. https:\/\/doi.org\/10.1007\/978-3-030-36987-3_5"},{"key":"e_1_3_2_1_38_1","volume-title":"TGC(LNCS, Vol.\u00a08358), Mart\u00edn Abadi and Alberto Lluch-Lafuente (Eds.)","author":"Yoshida Nobuko","unstructured":"Nobuko Yoshida , Raymond Hu , Rumyana Neykova , and Nicholas Ng. 2013. The Scribble protocol language . In TGC(LNCS, Vol.\u00a08358), Mart\u00edn Abadi and Alberto Lluch-Lafuente (Eds.) . Springer , Berlin , 22\u201341. https:\/\/doi.org\/10.1007\/978-3-319-05119-2_3 10.1007\/978-3-319-05119-2_3 Nobuko Yoshida, Raymond Hu, Rumyana Neykova, and Nicholas Ng. 2013. The Scribble protocol language. In TGC(LNCS, Vol.\u00a08358), Mart\u00edn Abadi and Alberto Lluch-Lafuente (Eds.). Springer, Berlin, 22\u201341. https:\/\/doi.org\/10.1007\/978-3-319-05119-2_3"},{"key":"e_1_3_2_1_39_1","volume-title":"FCT(LNCS, Vol.\u00a012867)","author":"Yoshida Nobuko","unstructured":"Nobuko Yoshida , Fangyi Zhou , and Francisco Ferreira . 2021. Communicating finite state machines and an extensible toolchain for\u00a0multiparty session types . In FCT(LNCS, Vol.\u00a012867) , Evripidis Bampis and Aris Pagourtzis (Eds.). Springer , Berlin , 18\u201335. https:\/\/doi.org\/10.1007\/978-3-030-86593-1_2 10.1007\/978-3-030-86593-1_2 Nobuko Yoshida, Fangyi Zhou, and Francisco Ferreira. 2021. Communicating finite state machines and an extensible toolchain for\u00a0multiparty session types. In FCT(LNCS, Vol.\u00a012867), Evripidis Bampis and Aris Pagourtzis (Eds.). Springer, Berlin, 18\u201335. https:\/\/doi.org\/10.1007\/978-3-030-86593-1_2"}],"event":{"name":"PPDP 2023: International Symposium on Principles and Practice of Declarative Programming","location":"Lisboa Portugal","acronym":"PPDP 2023"},"container-title":["International Symposium on Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3610612.3610614","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:36:00Z","timestamp":1750178160000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3610612.3610614"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,22]]},"references-count":40,"alternative-id":["10.1145\/3610612.3610614","10.1145\/3610612"],"URL":"https:\/\/doi.org\/10.1145\/3610612.3610614","relation":{},"subject":[],"published":{"date-parts":[[2023,10,22]]},"assertion":[{"value":"2023-10-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}