データなしの集団プロトコルの検証

集団プロトコルはデータなしの分散計算モデルであり、その検証問題は重要である。本論文では、データを持つ集団プロトコルの検証問題について研究し、即時観察集団プロトコルの場合は ExpSpace 内に収まることを示した。