David F. Snyder

Knots as processes: a new kind of invariant

We exhibit an encoding of knots into processes in the π-calculus such that knots are ambient isotopic if and only their encodings are weakly bisimilar.