A Translation of the Pi-Calculus into MONSTRMONSTR: term graph rewriting for parallel machinesThe Algebraic Theory of Interaction Nets
