Castagna, Giuseppe and De Nicola, Rocco and Varacca, Daniele Semantic subtyping for the pi-calculus. Theoretical Computer Science, 398 (1-3). pp. 217-242. ISSN 0304-3975 (2008)