On Verifying Fair Lossy Channel Systems
On Verifying Fair Lossy Channel Systems
复制标题
关于验证公平有损通道系统
DOI：
--
复制
发表时间：
2002
期刊：
影响因子：
--
通讯作者：
P. Schnoebelen
中科院分区：
文献类型：
--
作者：
Benoît Masson;P. Schnoebelen
有损信道系统是有限状态自动机系统，通过不可靠的无界fifo信道进行通信。它们是一种重要的计算模型，因为它们在通信协议的算法验证中起着重要的作用。在本文中，我们证明了这类系统的公平终止是可判定的。
Lossy channel systems are systems of finite state automata that communicate via unreliable unbounded fifo channels. They are an important computational model because of the role they play in the algorithmic verification of communication protocols.In this paper, we show that fair termination is decidable for a large class of these systems.