Subtyping for session types in the pi calculus (2005)

by S J GAY, M J HOLE
Venue:Acta Informatica