Paula Blechschmidt, Kirstin Peters, Uwe Nestmann. Compositional Interface Refinement Through Subtyping in Probabilistic Session Types. In Zhiming Liu 0001, Adnane Saoud, Heike Wehrheim, editors, Theoretical Aspects of Computing - ICTAC 2025 - 22nd International Colloquium, Marrakech, Morocco, November 24-28, 2025, Proceedings. Volume 16237 of Lecture Notes in Computer Science, pages 145-163, Springer, 2025. [doi]
Abstract is missing.