Subtyping for session types in the π-calculus (2005)

by S Gay, M Hole
Venue:Acta Informatica