Демонический недетерминизм - Википедия - Demonic non-determinism

Термин, описывающий выполнение недетерминированная программа где все выборы сделаны в пользу непрекращения.^{[нужна цитата ]}

Рекомендации

Wirsing, M .; Брой, М. (5 марта 1981 г.). «Об алгебраической спецификации недетерминированных языков программирования». Caap '81. Конспект лекций по информатике. Шпрингер, Берлин, Гейдельберг. 112: 162–179. Дои:10.1007/3-540-10828-9_61. ISBN  978-3-540-10828-3.

McIver, A.K .; Морган, Кэрролл (6 сентября 2001 г.). «Частичная корректность для вероятностных демонических программ». Теоретическая информатика. 266 (1): 513–541. Дои:10.1016 / S0304-3975 (00) 00208-5. ISSN  0304-3975.