拡張されたタイムオートマトンの組を用いた,時間制約を持つ分散シス テムの記述モデルと,このモデルに対するデッドロック判定の方法を提案する. 各拡張タイムオートマトンは命題変数を参照する条件判定と命題変数の真偽 値の変更が可能であり,各オートマトン間で命題変数を共有することにより,そ の真偽値を通して通信を行う.
Back