无环独奏演算与微分交互网

我们提出了独奏演算的一种限制，该限制在归约下是稳定的，并且具有足够的表达能力以包含π演算的编码。由此表明，π演算的编码不需要将已经相等的名字等同化。特别地，由此导出的独奏图具有无环性质，这保证了其能忠实地编码到微分交互网中。这给出了一个（新的）证明，即微分交互网具有足够的表达能力以包含π演算的编码。所有这些工作都是在无和、无匹配、无失配的有限（无复制）系统中完成的。