Pi calculus pic