  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.
