Demonic non-determinism
From Wikipedia, the free encyclopedia
In computer science, demonic non-determinism is a term which describes the execution of a non-deterministic program where all choices are made in favour of non-termination.[citation needed]