English Demonic non-determinism Cited by user Maneesh on 31 Jan 2019 A term which describes the execution of a non-deterministic program where all choices that are made favour non-termination.
English Angelic non-determinism Cited by user Maneesh on 31 Jan 2019 A term which describes the execution of a non-deterministic program where all choices that are made favor termination.