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

by Simon Gay, Malcolm Hole
Venue:Acta Informatica