Knots and π-Calculus (2010)
15 hours ago
- #π-calculus
- #knot theory
- #topology
- Knots can be encoded as processes in the π-calculus.
- Knots are ambient isotopic if and only if their encodings are weakly bisimilar.
- The paper presents a new invariant for knots using process calculus.