Retracing some paths in Process Algebra

Retracing some paths in Process Algebra
复制标题

追溯过程代数中的一些路径

DOI：
10.1007/3-540-61604-7_44
复制
发表时间：
1996
期刊：
ArXiv
影响因子：
--
通讯作者：
S. Abramsky
S. Abramsky
中科院分区：
--
文献类型：
--
作者：
S. Abramsky

文献摘要

被引文献

相似文献

我们使用跟踪monoidal范畴，以给出一个精确的一般版本的“几何的相互作用”。我们给出了该构造的“粒子式”和“波浪式”实例的许多示例。我们将这些想法与语义计算。
We use traced monoidal categories to give a precise general version of "geometry of interaction". We give a number of examples of both "particle-style" and "wave-style" instances of this construction. We relate these ideas to semantics of computation.