Compositional Interface Refinement Through Subtyping in Probabilistic Session Types. - Paula Blechschmidt; Kirstin Peters; Uwe Nestmann (ICTAC, 2025)

Compositional Interface Refinement Through Subtyping in Probabilistic Session Types. - Paula Blechschmidt (CoRR, 2025)