并发交互的几何：通过多令牌处理多端口（长版本）
计算机科学中的逻辑
2017-04-18 v1
摘要
我们为Mazza的多端口交互组合子引入了交互几何模型，这是一种图论形式体系，能够忠实捕捉由诸如-演算等进程代数所体现的并发计算。所引入的模型基于令牌机，其中允许不止一个而是多个令牌同时遍历底层网络。我们证明了所引入模型的可靠性和充分性。前者被证明为沿着任何归约序列所获得的令牌机之间的模拟结果。后者通过对网络和令牌机中收敛性的精细分析得到。
引用
@article{arxiv.1704.04620,
title = {The Geometry of Concurrent Interaction: Handling Multiple Ports by Way of Multiple Tokens (Long Version)},
author = {Ugo Dal Lago and Ryo Tanaka and Akira Yoshimizu},
journal= {arXiv preprint arXiv:1704.04620},
year = {2017}
}