Spatial and behavioral types in the pi-calculus
scientific article; zbMATH DE number 5796778
scientific article