(1) Warunek, który występuje wtedy, gdy uprzednio ilość czasu upłynie bez występowania oczekiwane zdarzenie. Na przykład, warunek, który powoduje zakończenie procesu online, jeśli nie ma danych wejściowych użytkownika zostanie odebrany w określonym terminie time.~(2) doświadczenie warunek (1).