悪魔的な非決定論

すべての選択が非終了を優先する非決定論的プログラムの実行を説明する用語。 ^{[引用が必要]}

Wirsing, M.; Broy, M. (1981 年 3 月 5 日)。「非決定性プログラミング言語の代数的仕様について」。Caap '81。コンピュータ サイエンスの講義ノート。第 112 巻。Springer、ベルリン、ハイデルベルク。pp. 162–179。doi : 10.1007 / 3-540-10828-9_61。ISBN 978-3-540-10828-3。

McIver , AK ; Morgan, Carroll (2001 年 9月 6 日)。 「確率的悪魔プログラムの部分的正しさ」。理論計算機科学。266 (1): 513–541。doi : 10.1016/S0304-3975(00)00208-5。ISSN 0304-3975。