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.

中文翻译：

---

具有超时的过程代数的反应式双仿真语义

本文介绍了用超时转换扩展的标记转换系统的强双相似性对应物。它通过模态表征、具有递归的标准过程代数的同余结果和完全公理化来支持这一概念。