Subtyping for session types in the pi calculus - GAY, Simon; HOLE, Malcolm (Types in concurrency (Part I), 2005)