{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T10:04:21Z","timestamp":1781172261683,"version":"3.54.1"},"publisher-location":"Cham","reference-count":51,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031572616","type":"print"},{"value":"9783031572623","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,4,5]],"date-time":"2024-04-05T00:00:00Z","timestamp":1712275200000},"content-version":"vor","delay-in-days":95,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Multiparty session types (MSTs) are a type-based approach to verifying communication protocols, represented as global types in the framework. We present a precise subtyping relation for asynchronous MSTs with communicating state machines (CSMs) as implementation model. We address two problems: when can a local implementation safely substitute another, and when does an arbitrary CSM implement a global type? We define safety with respect to a given global type, in terms of subprotocol fidelity and deadlock freedom. Our implementation model subsumes existing work which considers local types with restricted choice. We exploit the connection between MST subtyping and refinement to formulate concise conditions that are directly checkable on the candidate implementations, and use them to show that both problems are decidable in polynomial time.<\/jats:p>","DOI":"10.1007\/978-3-031-57262-3_8","type":"book-chapter","created":{"date-parts":[[2024,4,4]],"date-time":"2024-04-04T07:02:35Z","timestamp":1712214155000},"page":"176-205","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Deciding Subtyping for Asynchronous Multiparty Sessions"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0173-4498","authenticated-orcid":false,"given":"Elaine","family":"Li","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3638-4096","authenticated-orcid":false,"given":"Felix","family":"Stutz","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4051-5968","authenticated-orcid":false,"given":"Thomas","family":"Wies","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,4,5]]},"reference":[{"key":"8_CR1","doi-asserted-by":"publisher","unstructured":"Bacchiani, L., Bravetti, M., Lange, J., Zavattaro, G.: A session subtyping tool. In: Damiani, F., Dardha, O. (eds.) Coordination Models and Languages - 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings. Lecture Notes in Computer Science, vol. 12717, pp. 90\u2013105. Springer (2021). https:\/\/doi.org\/10.1007\/978-3-030-78142-2_6","DOI":"10.1007\/978-3-030-78142-2_6"},{"key":"8_CR2","doi-asserted-by":"publisher","unstructured":"Barbanera, F., De\u2019Liguoro, U.: Sub-behaviour relations for session-based client\/server systems. Mathematical Structures in Computer Science 25(6), 1339\u20131381 (2015). https:\/\/doi.org\/10.1017\/S096012951400005X","DOI":"10.1017\/S096012951400005X"},{"key":"8_CR3","doi-asserted-by":"publisher","unstructured":"Bernardi, G.T., Hennessy, M.: Modelling session types using contracts. Math. Struct. Comput. Sci. 26(3), 510\u2013560 (2016). https:\/\/doi.org\/10.1017\/S0960129514000243","DOI":"10.1017\/S0960129514000243"},{"key":"8_CR4","doi-asserted-by":"publisher","unstructured":"Brand, D., Zafiropulo, P.: On communicating finite-state machines. J. ACM 30(2), 323\u2013342 (1983). https:\/\/doi.org\/10.1145\/322374.322380","DOI":"10.1145\/322374.322380"},{"key":"8_CR5","unstructured":"Bravetti, M., Carbone, M., Lange, J., Yoshida, N., Zavattaro, G.: A sound algorithm for asynchronous session subtyping and its implementation. Log. Methods Comput. Sci. 17(1) (2021), https:\/\/lmcs.episciences.org\/7238"},{"key":"8_CR6","doi-asserted-by":"publisher","unstructured":"Bravetti, M., Carbone, M., Zavattaro, G.: On the boundary between decidability and undecidability of asynchronous session subtyping. Theor. Comput. Sci. 722, 19\u201351 (2018). https:\/\/doi.org\/10.1016\/j.tcs.2018.02.010","DOI":"10.1016\/j.tcs.2018.02.010"},{"key":"8_CR7","doi-asserted-by":"publisher","unstructured":"Bravetti, M., Lange, J., Zavattaro, G.: Fair refinement for asynchronous session types. In: Kiefer, S., Tasson, C. (eds.) Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings. Lecture Notes in Computer Science, vol. 12650, pp. 144\u2013163. Springer (2021). https:\/\/doi.org\/10.1007\/978-3-030-71995-1_8","DOI":"10.1007\/978-3-030-71995-1_8"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Bravetti, M., Zavattaro, G.: Relating session types and behavioural contracts: The asynchronous case. In: \u00d6lveczky, P.C., Sala\u00fcn, G. (eds.) Software Engineering and Formal Methods. pp. 29\u201347. Springer International Publishing, Cham (2019)","DOI":"10.1007\/978-3-030-30446-1_2"},{"key":"8_CR9","doi-asserted-by":"publisher","unstructured":"Bravetti, M., Zavattaro, G.: Asynchronous session subtyping as communicating automata refinement. Softw. Syst. Model. 20(2), 311\u2013333 (apr 2021). https:\/\/doi.org\/10.1007\/s10270-020-00838-x","DOI":"10.1007\/s10270-020-00838-x"},{"key":"8_CR10","doi-asserted-by":"publisher","unstructured":"Caires, L., P\u00e9rez, J.A.: Multiparty session types within a canonical binary theory, and beyond. In: Albert, E., Lanese, I. (eds.) Formal Techniques for Distributed Objects, Components, and Systems - 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. Lecture Notes in Computer Science, vol.\u00a09688, pp. 74\u201395. Springer (2016). https:\/\/doi.org\/10.1007\/978-3-319-39570-8_6","DOI":"10.1007\/978-3-319-39570-8_6"},{"key":"8_CR11","doi-asserted-by":"publisher","unstructured":"Caires, L., Pfenning, F., Toninho, B.: Linear logic propositions as session types. Math. Struct. Comput. Sci. 26(3), 367\u2013423 (2016). https:\/\/doi.org\/10.1017\/S0960129514000218","DOI":"10.1017\/S0960129514000218"},{"key":"8_CR12","doi-asserted-by":"publisher","unstructured":"Carbone, M., Lindley, S., Montesi, F., Sch\u00fcrmann, C., Wadler, P.: Coherence generalises duality: A logical explanation of multiparty session types. In: Desharnais, J., Jagadeesan, R. (eds.) 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Qu\u00e9bec City, Canada. LIPIcs, vol.\u00a059, pp. 33:1\u201333:15. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2016). https:\/\/doi.org\/10.4230\/LIPIcs.CONCUR.2016.33","DOI":"10.4230\/LIPIcs.CONCUR.2016.33"},{"key":"8_CR13","doi-asserted-by":"publisher","unstructured":"Carbone, M., Montesi, F., Sch\u00fcrmann, C., Yoshida, N.: Multiparty session types as coherence proofs. Acta Informatica 54(3), 243\u2013269 (2017). https:\/\/doi.org\/10.1007\/s00236-016-0285-y","DOI":"10.1007\/s00236-016-0285-y"},{"key":"8_CR14","doi-asserted-by":"publisher","unstructured":"Casal, F., Mordido, A., Vasconcelos, V.T.: Mixed sessions. Theor. Comput. Sci. 897, 23\u201348 (2022). https:\/\/doi.org\/10.1016\/j.tcs.2021.08.005","DOI":"10.1016\/j.tcs.2021.08.005"},{"key":"8_CR15","doi-asserted-by":"publisher","unstructured":"Castagna, G., Dezani-Ciancaglini, M., Padovani, L.: On global types and multi-party session. Log. Methods Comput. Sci. 8(1) (2012). https:\/\/doi.org\/10.2168\/LMCS-8(1:24)2012","DOI":"10.2168\/LMCS-8(1:24)2012"},{"key":"8_CR16","doi-asserted-by":"publisher","unstructured":"Castagna, G., Gesbert, N., Padovani, L.: A theory of contracts for web services. ACM Trans. Program. Lang. Syst. 31(5), 19:1\u201319:61 (2009). https:\/\/doi.org\/10.1145\/1538917.1538920","DOI":"10.1145\/1538917.1538920"},{"key":"8_CR17","doi-asserted-by":"publisher","unstructured":"Castellani, I., Dezani-Ciancaglini, M., Giannini, P., Horne, R.: Global types with internal delegation. Theor. Comput. Sci. 807, 128\u2013153 (2020). https:\/\/doi.org\/10.1016\/j.tcs.2019.09.027","DOI":"10.1016\/j.tcs.2019.09.027"},{"key":"8_CR18","doi-asserted-by":"publisher","unstructured":"Charalambides, M., Dinges, P., Agha, G.A.: Parameterized, concurrent session types for asynchronous multi-actor interactions. Sci. Comput. Program. 115-116, 100\u2013126 (2016). https:\/\/doi.org\/10.1016\/j.scico.2015.10.006","DOI":"10.1016\/j.scico.2015.10.006"},{"key":"8_CR19","doi-asserted-by":"publisher","unstructured":"Coppo, M., Dezani-Ciancaglini, M., Padovani, L., Yoshida, N.: A gentle introduction to multiparty asynchronous session types. In: Bernardo, M., Johnsen, E.B. (eds.) Formal Methods for Multicore Programming - 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures. Lecture Notes in Computer Science, vol.\u00a09104, pp. 146\u2013178. Springer (2015). https:\/\/doi.org\/10.1007\/978-3-319-18941-3_4","DOI":"10.1007\/978-3-319-18941-3_4"},{"key":"8_CR20","doi-asserted-by":"publisher","unstructured":"Cutner, Z., Yoshida, N., Vassor, M.: Deadlock-free asynchronous message reordering in rust with multiparty session types. In: Lee, J., Agrawal, K., Spear, M.F. (eds.) PPoPP \u201922: 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Seoul, Republic of Korea, April 2 - 6, 2022. pp. 246\u2013261. ACM (2022). https:\/\/doi.org\/10.1145\/3503221.3508404","DOI":"10.1145\/3503221.3508404"},{"key":"8_CR21","doi-asserted-by":"publisher","unstructured":"Deni\u00e9lou, P., Yoshida, N.: Multiparty session types meet communicating automata. In: Seidl, H. (ed.) Programming Languages and Systems - 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings. Lecture Notes in Computer Science, vol.\u00a07211, pp. 194\u2013213. Springer (2012). https:\/\/doi.org\/10.1007\/978-3-642-28869-2_10","DOI":"10.1007\/978-3-642-28869-2_10"},{"key":"8_CR22","doi-asserted-by":"publisher","unstructured":"Deni\u00e9lou, P., Yoshida, N., Bejleri, A., Hu, R.: Parameterised multiparty session types. Log. Methods Comput. Sci. 8(4) (2012). https:\/\/doi.org\/10.2168\/LMCS-8(4:6)2012","DOI":"10.2168\/LMCS-8(4:6)2012"},{"key":"8_CR23","doi-asserted-by":"publisher","unstructured":"Ellul, K., Krawetz, B., Shallit, J.O., Wang, M.: Regular expressions: New results and open problems. J. Autom. Lang. Comb. 10(4), 407\u2013437 (2005). https:\/\/doi.org\/10.25596\/jalc-2005-407","DOI":"10.25596\/jalc-2005-407"},{"key":"8_CR24","unstructured":"Esparza, J., Nielsen, M.: Decidability issues for petri nets - a survey. J. Inf. Process. Cybern. 30(3), 143\u2013160 (1994)"},{"key":"8_CR25","doi-asserted-by":"publisher","unstructured":"Gay, S.J., Hole, M.: Subtyping for session types in the pi calculus. Acta Informatica 42(2-3), 191\u2013225 (2005). https:\/\/doi.org\/10.1007\/s00236-005-0177-z","DOI":"10.1007\/s00236-005-0177-z"},{"key":"8_CR26","doi-asserted-by":"publisher","unstructured":"Ghilezan, S., Jak\u0161i\u0107, S., Pantovi\u0107, J., Scalas, A., Yoshida, N.: Precise subtyping for synchronous multiparty sessions. Journal of Logical and Algebraic Methods in Programming 104, 127\u2013173 (2019). https:\/\/doi.org\/10.1016\/j.jlamp.2018.12.002, https:\/\/www.sciencedirect.com\/science\/article\/pii\/S2352220817302237","DOI":"10.1016\/j.jlamp.2018.12.002"},{"key":"8_CR27","doi-asserted-by":"publisher","unstructured":"Ghilezan, S., Pantovic, J., Prokic, I., Scalas, A., Yoshida, N.: Precise subtyping for asynchronous multiparty sessions. Proc. ACM Program. Lang. 5(POPL), 1\u201328 (2021). https:\/\/doi.org\/10.1145\/3434297","DOI":"10.1145\/3434297"},{"key":"8_CR28","doi-asserted-by":"publisher","unstructured":"Girard, J.: Linear logic. Theor. Comput. Sci. 50, 1\u2013102 (1987). https:\/\/doi.org\/10.1016\/0304-3975(87)90045-4","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"8_CR29","doi-asserted-by":"publisher","unstructured":"Honda, K.: Types for dyadic interaction. In: Best, E. (ed.) CONCUR \u201993, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings. Lecture Notes in Computer Science, vol.\u00a0715, pp. 509\u2013523. Springer (1993). https:\/\/doi.org\/10.1007\/3-540-57208-2_35","DOI":"10.1007\/3-540-57208-2_35"},{"key":"8_CR30","doi-asserted-by":"publisher","unstructured":"Honda, K., Vasconcelos, V.T., Kubo, M.: Language primitives and type discipline for structured communication-based programming. In: Hankin, C. (ed.) Programming Languages and Systems - ESOP\u201998, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS\u201998, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings. Lecture Notes in Computer Science, vol.\u00a01381, pp. 122\u2013138. Springer (1998). https:\/\/doi.org\/10.1007\/BFb0053567","DOI":"10.1007\/BFb0053567"},{"key":"8_CR31","doi-asserted-by":"publisher","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: Necula, G.C., Wadler, P. (eds.) Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008. pp. 273\u2013284. ACM (2008). https:\/\/doi.org\/10.1145\/1328438.1328472","DOI":"10.1145\/1328438.1328472"},{"key":"8_CR32","doi-asserted-by":"publisher","unstructured":"Horne, R.: Session subtyping and multiparty compatibility using circular sequents. In: Konnov, I., Kov\u00e1cs, L. (eds.) 31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference). LIPIcs, vol.\u00a0171, pp. 12:1\u201312:22. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2020). https:\/\/doi.org\/10.4230\/LIPIcs.CONCUR.2020.12","DOI":"10.4230\/LIPIcs.CONCUR.2020.12"},{"key":"8_CR33","doi-asserted-by":"publisher","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21(7), 558\u2013565 (1978). https:\/\/doi.org\/10.1145\/359545.359563","DOI":"10.1145\/359545.359563"},{"key":"8_CR34","doi-asserted-by":"publisher","unstructured":"Lange, J., Yoshida, N.: Characteristic formulae for session types. In: Chechik, M., Raskin, J. (eds.) Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Lecture Notes in Computer Science, vol.\u00a09636, pp. 833\u2013850. Springer (2016). https:\/\/doi.org\/10.1007\/978-3-662-49674-9_52","DOI":"10.1007\/978-3-662-49674-9_52"},{"key":"8_CR35","doi-asserted-by":"publisher","unstructured":"Lange, J., Yoshida, N.: On the undecidability of asynchronous session subtyping. In: Esparza, J., Murawski, A.S. (eds.) Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Lecture Notes in Computer Science, vol. 10203, pp. 441\u2013457 (2017). https:\/\/doi.org\/10.1007\/978-3-662-54458-7_26","DOI":"10.1007\/978-3-662-54458-7_26"},{"key":"8_CR36","doi-asserted-by":"publisher","unstructured":"Lange, J., Yoshida, N.: Verifying asynchronous interactions via communicating session automata. In: Dillig, I., Tasiran, S. (eds.) Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I. Lecture Notes in Computer Science, vol. 11561, pp. 97\u2013117. Springer (2019). https:\/\/doi.org\/10.1007\/978-3-030-25540-4_6","DOI":"10.1007\/978-3-030-25540-4_6"},{"key":"8_CR37","doi-asserted-by":"publisher","unstructured":"Li, E., Stutz, F., Wies, T.: Deciding subtyping for asynchronous multiparty sessions. CoRR abs\/2401.16395 (2024). https:\/\/doi.org\/10.48550\/arXiv.2401.16395","DOI":"10.48550\/arXiv.2401.16395"},{"key":"8_CR38","doi-asserted-by":"crossref","unstructured":"Li, E., Stutz, F., Wies, T., Zufferey, D.: Complete multiparty session type projection with automata. In: Enea, C., Lal, A. (eds.) Computer Aided Verification. pp. 350\u2013373. Springer Nature Switzerland, Cham (2023)","DOI":"10.1007\/978-3-031-37709-9_17"},{"key":"8_CR39","doi-asserted-by":"publisher","unstructured":"Liskov, B., Wing, J.M.: A behavioral notion of subtyping. ACM Trans. Program. Lang. Syst. 16(6), 1811\u20131841 (1994). https:\/\/doi.org\/10.1145\/197320.197383","DOI":"10.1145\/197320.197383"},{"key":"8_CR40","doi-asserted-by":"publisher","unstructured":"Majumdar, R., Mukund, M., Stutz, F., Zufferey, D.: Generalising projection in asynchronous multiparty session types. In: Haddad, S., Varacca, D. (eds.) 32nd International Conference on Concurrency Theory, CONCUR 2021, August 24-27, 2021, Virtual Conference. LIPIcs, vol.\u00a0203, pp. 35:1\u201335:24. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2021). https:\/\/doi.org\/10.4230\/LIPIcs.CONCUR.2021.35","DOI":"10.4230\/LIPIcs.CONCUR.2021.35"},{"key":"8_CR41","doi-asserted-by":"publisher","unstructured":"Mostrous, D., Yoshida, N.: Session-based communication optimisation for higher-order mobile processes. In: Curien, P. (ed.) Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings. Lecture Notes in Computer Science, vol.\u00a05608, pp. 203\u2013218. Springer (2009). https:\/\/doi.org\/10.1007\/978-3-642-02273-9_16","DOI":"10.1007\/978-3-642-02273-9_16"},{"key":"8_CR42","doi-asserted-by":"publisher","unstructured":"Mostrous, D., Yoshida, N., Honda, K.: Global principal typing in partially commutative asynchronous sessions. In: Castagna, G. (ed.) Programming Languages and Systems, 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Lecture Notes in Computer Science, vol.\u00a05502, pp. 316\u2013332. Springer (2009). https:\/\/doi.org\/10.1007\/978-3-642-00590-9_23","DOI":"10.1007\/978-3-642-00590-9_23"},{"key":"8_CR43","doi-asserted-by":"publisher","unstructured":"Palamidessi, C.: Comparing the expressive power of the synchronous and asynchronous pi-calculi. Math. Struct. Comput. Sci. 13(5), 685\u2013719 (2003). https:\/\/doi.org\/10.1017\/S0960129503004043","DOI":"10.1017\/S0960129503004043"},{"key":"8_CR44","doi-asserted-by":"publisher","unstructured":"Peters, K., Yoshida, N.: On the expressiveness of mixed choice sessions. In: Castiglioni, V., Mezzina, C.A. (eds.) Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics, EXPRESS\/SOS 2022, and 19th Workshop on Structural Operational Semantics Warsaw, Poland, 12th September 2022. EPTCS, vol.\u00a0368, pp. 113\u2013130 (2022). https:\/\/doi.org\/10.4204\/EPTCS.368.7","DOI":"10.4204\/EPTCS.368.7"},{"key":"8_CR45","doi-asserted-by":"publisher","unstructured":"Pierce, B.C., Sangiorgi, D.: Typing and subtyping for mobile processes. Math. Struct. Comput. Sci. 6(5), 409\u2013453 (1996). https:\/\/doi.org\/10.1017\/s096012950007002x","DOI":"10.1017\/s096012950007002x"},{"key":"8_CR46","unstructured":"Sipser, M.: Introduction to the theory of computation. PWS Publishing Company (1997)"},{"key":"8_CR47","doi-asserted-by":"publisher","unstructured":"Stutz, F.: Asynchronous multiparty session type implementability is decidable - lessons learned from message sequence charts. In: Ali, K., Salvaneschi, G. (eds.) 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States. LIPIcs, vol.\u00a0263, pp. 32:1\u201332:31. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2023). https:\/\/doi.org\/10.4230\/LIPIcs.ECOOP.2023.32","DOI":"10.4230\/LIPIcs.ECOOP.2023.32"},{"key":"8_CR48","doi-asserted-by":"publisher","unstructured":"Toninho, B., Caires, L., Pfenning, F.: Dependent session types via intuitionistic linear type theory. In: Schneider-Kamp, P., Hanus, M. (eds.) Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark. pp. 161\u2013172. ACM (2011). https:\/\/doi.org\/10.1145\/2003476.2003499","DOI":"10.1145\/2003476.2003499"},{"key":"8_CR49","doi-asserted-by":"publisher","unstructured":"Toninho, B., Caires, L., Pfenning, F.: A decade of dependent session types. In: 23rd International Symposium on Principles and Practice of Declarative Programming. PPDP 2021, Association for Computing Machinery, New York, NY, USA (2021). https:\/\/doi.org\/10.1145\/3479394.3479398","DOI":"10.1145\/3479394.3479398"},{"key":"8_CR50","doi-asserted-by":"publisher","unstructured":"Wadler, P.: Propositions as sessions. J. Funct. Program. 24(2-3), 384\u2013418 (2014). https:\/\/doi.org\/10.1017\/S095679681400001X","DOI":"10.1017\/S095679681400001X"},{"key":"8_CR51","doi-asserted-by":"publisher","unstructured":"Zhou, F., Ferreira, F., Hu, R., Neykova, R., Yoshida, N.: Statically verified refinements for multiparty protocols. Proceedings of the ACM on Programming Languages 4, 1\u201330 (11 2020). https:\/\/doi.org\/10.1145\/3428216","DOI":"10.1145\/3428216"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-57262-3_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,4]],"date-time":"2024-04-04T07:03:58Z","timestamp":1712214238000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-57262-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031572616","9783031572623"],"references-count":51,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-57262-3_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"5 April 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ESOP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Symposium on Programming","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Luxembourg City","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Luxembourg","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 April 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 April 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"33","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"esop2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/etaps.org\/2024\/conferences\/esop\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-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":"72","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":"25","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":"35% - 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.2","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":"8","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":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"The proceedings also contain 4 artifact report that have not been part of the original submission","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}