参数化会合网络中截断数存在性的判定
计算机科学中的逻辑
2020-07-14 v1
摘要
我们研究执行相同有限状态协议并借助会合机制进行通信的进程网络。给定一个协议，我们关注检验是否存在一个数（称为截断数），使得在任意具有更多参与者的网络中，存在一次所有实体均结束于某些最终状态的执行。我们在多种假设下（例如有无领导者或对称/非对称会合）给出了该问题的可判定性与复杂性结果。
引用
@article{arxiv.2007.05789,
title = {Deciding the existence of cut-off in parameterized rendez-vous networks},
author = {Florian Horn and Arnaud Sangnier},
journal= {arXiv preprint arXiv:2007.05789},
year = {2020}
}
备注
Version with proofs of paper accepted at CONCUR 2020