CSSTs の理論的な性能解析と実際の並行プログラム解析への適用における性能の関係について、以下のような関連が考えられます。CSSTs の理論的な性能解析に基づいて、部分順序の cross-chain 密度 𝑑 が低い場合に最適な性能が得られることが期待されます。一方、実際の並行プログラム解析では、部分順序の cross-chain 密度 𝑑 を事前に把握することが難しいため、CSSTs の実用性を高めるためには、動的に 𝑑 を推定する手法が重要となります。実際の適用においては、CSSTs の性能が部分順序の cross-chain 密度 𝑑 にどのように影響されるかを詳細に検証し、最適な解析手法を選択することが重要です。