超时进程代数的反应式互模拟语义
Reactive Bisimulation Semantics for a Process Algebra with Time-Outs
摘要：
本文介绍了带有超时变迁的标号变迁系统的强双相似性的对应。它支持这一概念，通过一个模式的特点，一个标准的进程代数与递归的同余结果，和一个完整的axiomatisation。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
