Names of the pi-calculus agents handled locally