无名称组合子用于并发
计算机科学中的逻辑
2019-04-22 v4
摘要
Yoshida展示了如何消除异步π演算中输入前缀带来的约束名，但她的组合子仍然依赖于“new”算子来绑定名称。我们通过用反射算子替换“new”和复制(replication)来修改Yoshida的组合子，从而提供了第一个无约束名的组合子演算，异步π演算可忠实嵌入其中。我们还展示了在图之上丰富的多排序Lawvere理论足以捕捉该演算的操作语义。
引用
@article{arxiv.1703.07054,
title = {Name-free combinators for concurrency},
author = {Lucius Gregory Meredith and Michael Stay},
journal= {arXiv preprint arXiv:1703.07054},
year = {2019}
}
备注
Updated to fix a type error caught by Express/SOS 2017 reviewer