9 citations · 26 across the 9 of their papers we have counts for
1 paper · 1 filter
L. G. Meredith, David F. Snyder
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.