プロポジショナル動的論理と並行性に関する論文

プロポジショナル動的論理(PDL)は並行プログラムの分析に課題があるが、オペレーショナル・プロポジショナル動的論理(OPDL)は並行性を扱うための一般的な枠組みを提供する。