Subtyping for session types in the pi calculus

Simon J. Gay, Malcolm Hole. Subtyping for session types in the pi calculus. Acta Informatica, 42(2-3):191-225, 2005. [doi]

Abstract

Abstract is missing.