休眠感知的定时分支等价性及其在通信协议分析中的应用
摘要：离散相对定时进程的标准分支等价性的变种，被提出，比标准概念更粗略。使用具有离散相对定时进程抽象的ACP（通信进程代数的）版本，证明了该变种允许分析PAR（带重传的肯定确认）协议的功能正确性和性能特性。在所关注的ACP版本中，标准分支等价性和其提出的变种之间的差异由一个公理模式所刻画。
作者：C. A. Middelburg
论文ID：2107.08921
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-08-10