On the [pi]-calculus and linear logic /