On the Pi-calculus and linear logic