The Power of Priority Channel Systems
The Power of Priority Channel Systems
复制标题
优先通道系统的力量
DOI：
--
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
P. Schnoebelen
中科院分区：
文献类型：
--
作者：
C. Haase;S. Schmitz;P. Schnoebelen
我们引入了优先级通道系统，这是一种新的自然类型的通道系统，其中消息具有数字优先级，并且在FIFO通信缓冲区中，较高优先级的消息可以取代其前面的较低优先级的消息。通过引入优先级嵌入，证明了安全性和必然性性质的可判断性，这是一种以前在良好结构的系统中没有使用过的良好的准序。然后，我们展示了优先级通道系统如何计算快速增长函数，并证明了上述验证问题是F e0-完全的。
We introduce Priority Channel Systems, a new natural class of channel systems where messages carry a numeric priority and where higher-priority messages can supersede lower-priority messages preceding them in the fifo communication buffers. The decidability of safety and inevitability properties is shown via the introduction of a priority embedding, a well-quasi-ordering that has not previously been used in well-structured systems. We then show how Priority Channel Systems can compute Fast-Growing functions and prove that the aforementioned verification problems are F e0-complete.
关于故障通道机器的终止和不变性
影响因子：
1
作者：
Bouyer P
通讯作者：
Bouyer P
DOI：
10.1007/978-3-662-44584-6_32
发表时间：
2014
期刊：
影响因子：
--
作者：
Barbara König;Jan Stückrath
通讯作者：
Jan Stückrath