時間制約付き契約オートマトンにおける健全な競合分析

本稿では、時間制約付き契約オートマトンにおける競合を検出するための、健全だが完全ではないアルゴリズムを提案し、ケーススタディを通じてその正当性と有用性を示している。