You are viewing the basic non-JavaScript version. Please enable JavaScript to view this website correctly.
Please expand.
Angelic nondeterminism
Demonic nondeterminism
Erratic nondeterminism
Countable nondeterminism
amb