论文标题
与超时的过程代数的反应性分配语义
Reactive Bisimulation Semantics for a Process Algebra with Time-Outs
论文作者
论文摘要
本文介绍了随着超时过渡扩展的标记过渡系统的强二比强度的对应物。它通过模态表征支持这一概念，与递归的标准过程代数的一致性结果以及完整的公理化。
This paper introduces the counterpart of strong bisimilarity for labelled transition systems extended with time-out transitions. It supports this concept through a modal characterisation, congruence results for a standard process algebra with recursion, and a complete axiomatisation.
