搜索结果: 1-1 共查到“定性理论 Invariant”相关记录1条 . 查询时间(0.062 秒)
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.