分散環境における時間制約プロパティのモニタリング

分散環境において、各コンポーネントが独自のクロックを持ち、不完全かつ不正確な情報しか得られない状況下で、時間制約プロパティを可能な限り早期に検出するモニタリングアルゴリズムを提案する。