Last ned Linnk AI
•
Forskningsassistent
>
Logg Inn
innsikt
-
プロポジショナル動的論理
プロポジショナル動的論理と並行性に関する論文
プロポジショナル動的論理(PDL)は並行プログラムの分析に課題があるが、オペレーショナル・プロポジショナル動的論理(OPDL)は並行性を扱うための一般的な枠組みを提供する。
1