2026-07-20T05:42:10Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:23960 2025-11-12T13:24:59Z ddc:004 open_access

Abstract Subtyping for Asynchronous Multiparty Sessions Bocchi, Laura King, Andy Murgia, Maurizio Thompson, Simon asynchrony session subtyping automata abstract interpretation Session subtyping answers the question of whether a program in a communicating system can be safely substituted for another, when their communication behaviour is described by session types. Asynchronous session subtyping is undecidable, even for two participants, hence the interest in sound, but incomplete, subtyping algorithms. Asynchronous multiparty subtyping can be formulated by decomposing session types into single input and output types which preclude, respectively, external and internal choice. This paper shows how abstract interpretation can sit atop this approach and how it leads to an algorithm that can prove subtyping for intricate communication patterns. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Laura Bocchi and Andy King and Maurizio Murgia and Simon Thompson 2025 Is Part Of LIPIcs, Volume 348, 36th International Conference on Concurrency Theory (CONCUR 2025) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CONCUR.2025.10 urn:nbn:de:0030-drops-239605 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2025.10 eng https://creativecommons.org/licenses/by/4.0/legalcode