Compositional Interface Refinement Through Subtyping in Probabilistic Session Types.

Paula Blechschmidt, Kirstin Peters, Uwe Nestmann

Browse the full ICTAC paper archive.