Names of the \(\pi\)-calculus agents handled locally
scientific article; zbMATH DE number 1542389