デフォルトの時間単位はミリ秒です。時間単位はオペレーティング・システム・アダプターのティック・タイマーの実装に基づいて設定されます。タイムアウトは、発生状態 (s1) に入ったときにスケジュールされます。タイムアウトが消費される前に発生状態が終了すると、タイムアウトはキャンセルされます。

タイムアウト機構 (tm()) を使用できるのは、サービス品質 (QOS) の精度要件が以下のタイムアウト精度に一致する場合です。タイムアウトは発生すると、リアクティブ・インスタンスに関係するイベント・キューに挿入されます。タイムアウトがいつ消費されるかは、実際のシステム状態に依存します。タイムアウトの発生は、以下の 3 つの要因に依存します。