このページを含むバージョン:
このページを含まないバージョン:
次を定義します：(1)選択リアクターについて、送信するメッセージがある場合、最短時間内でシステムがチェックするとき (2)固定リアクターについて、システムは最小時間間隔で送受信するメッセージをチェックするとき