"Name creation implements restriction in the pi-calculus."

Yoshinobu Kawabe et al. (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics