Angelic non-determinism (Q16828493)
Jump to navigation
Jump to search
execution of a non-deterministic program where all choices that are made favor termination
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Angelic non-determinism |
execution of a non-deterministic program where all choices that are made favor termination |
Statements
Identifiers
Sitelinks
Wikipedia(1 entry)
- enwiki Angelic non-determinism