Analysing input/output-capabilities of mobile processes with a generic type system
scientific article; zbMATH DE number 2157578