A variant of the standard notion of branching bisimilarity for processes with discrete relative timing is proposed which is coarser than the standard notion. Using a version of ACP (Algebra of Communicating Processes) with abstraction for processes with discrete relative timing, it is shown that the proposed variant allows of the functional correctness of the PAR (Positive Acknowledgement with Retransmission) protocol as well as its performance properties to be analyzed. In the version of ACP concerned, the difference between the standard notion and its proposed variant is characterized by a single axiom schema.

翻译：与标准概念相比,提议了不同相对时间进程分支两样的标准概念的变体,该变体比标准概念粗略得多。 使用非加太(通信进程代数)的版本,对离散相对时间进程进行抽象处理,显示拟议的变体允许对PAR(附带转发的积极确认)协议及其性能特性进行功能正确性分析。在非加太有关版本中,标准概念与其拟议变体之间的差异以单一的方言公式为特征。