Name creation implements restriction in the π-calculus. - Kawabe, Yoshinobu; Mano, Ken; Horita, Eiichi; Kogure, Kiyoshi (Systems & Computers in Japan, 2005)