猜测k可同步性的缓冲边界
摘要：通信系统是$k$-可同步的，如果表示执行的所有消息序列图可以分为$k$次发送后的$k$次接收。先前的研究已经表明，对于给定的$k$，可以决定一个通信系统是否是$k$-可同步的。这个结果很有意义，因为可以解决$k$-可同步系统的可达性问题。然而，决策过程假设边界$k$是固定的。在本文中，我们改进了这个结果，并展示了是否存在这样一个界限$k$是可决定的。
作者：Cinzia Di Giusto, Laetitia Laversa, Etienne Lozes
论文ID：2104.14408
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2021-04-30