（1） 當一預定的量的時間到期後沒有發生預期事件發生的狀況。例如，導致的一種線上過程終止，如果在指定的時間段，體驗 （1） 中的條件 time.~(2) 內不收到任何使用者輸入的條件。