支持输入竞争的非同步多方可话会话演算
计算机科学中的逻辑
2022-03-25 v1
摘要
我们提出了一种支持非同步多方可话会话的演算，其中进程允许出现来自不同发送方的输入选择。我们给出了一个类型系统，只要此类输入竞争不妨碍无锁性，即可被该系统接受。
引用
@article{arxiv.2203.12876,
title = {Asynchronous Sessions with Input Races},
author = {Ilaria Castellani and Mariangiola Dezani-Ciancaglini and Paola Giannini},
journal= {arXiv preprint arXiv:2203.12876},
year = {2022}
}
备注
In Proceedings PLACES 2022, arXiv:2203.12142