Semantic subtyping for the pi-calculus
scientific article; zbMATH DE number 5292227