Knots and π-Calculus (2010)