See also: Angelic non-determinism.
A term which describes the execution of a non-deterministic program where all choices are made in favour of non-termination.
Book: Wirsing . M. . Broy . M. . On the algebraic specification of nondeterministic programming languages . Caap '81 . 112 . 5 March 1981 . 162–179 . 10.1007/3-540-10828-9_61 . Springer, Berlin, Heidelberg . en. Lecture Notes in Computer Science . 978-3-540-10828-3 .
McIver . A. K. . Annabelle McIver . Morgan . Carroll . Partial correctness for probabilistic demonic programs . Theoretical Computer Science . 6 September 2001 . 266 . 1 . 513–541 . 10.1016/S0304-3975(00)00208-5 . 0304-3975. free .