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.

翻译：本文扩展了标准流程代数与超时操作员的标准代数,从而增加了其绝对的表达性,同时保留在未定时的流程代数范围内,因为时间的进展没有量化,追踪和失败等值不能与该操作员一致;其一致性的结束被定性为失败的跟踪等值。