论文标题
故障跟踪语义的过程代数与超时
Failure Trace Semantics for a Process Algebra with Time-outs
论文作者
论文摘要
本文通过超时运算符扩展了标准过程代数，从而提高了其绝对表现力，同时保持在不合时宜的过程代数的领域内，从某种意义上说，时间的进度未量化。跟踪和失败等效性无法与此操作员的一致。他们的一致性封闭被特征为失败痕量对等。
This paper extends a standard process algebra with a time-out operator, thereby increasing its absolute expressiveness, while remaining within the realm of untimed process algebra, in the sense that the progress of time is not quantified. Trace and failures equivalence fail to be congruences for this operator; their congruence closure is characterised as failure trace equivalence.
