What is nondeterminism?

Some articles on nondeterminism:

Arguments For Dealing With Unbounded Nondeterminism
... as the Actor model) of concurrent computation with the property of unbounded nondeterminism built in this allows computations that cannot be implemented ... in concurrent computation.) Hewitt justified his use of unbounded nondeterminism by arguing that there is no bound that can be placed on how long it takes a computational ... He further argued that Electronic mail enables unbounded nondeterminism since mail can be stored on servers indefinitely before being delivered, and that Communication links to servers on the ...
Symmetric Turing Machine
... only in NL, despite seeming not to require nondeterminism ... between special configuration, where nondeterminism takes place, such that the only special configuration reached from a backward computation is the special configuration started the ... the segments are locally deterministic in its forward direction and have limited nondeterminism in its backward direction ...
Actor Model And Process Calculi - Denotational Semantics
... His semantics contrasted the unbounded nondeterminism of the Actor model with the bounded nondeterminism of CSP and Concurrent Processes (see denotational semantics) ... a denotational semantics with unbounded nondeterminism for a subsequent version of Communicating Sequential Processes Hoare ...
Unbounded Nondeterminism - Hewitt's Analysis of Fairness
... All of these models have the property of bounded nondeterminism if a machine always halts when started in its initial state, then there is a bound on the ... Hewitt argued that there is a fundamental difference between choices in global state nondeterminism and the arrival order indeterminacy (nondeterminism) of his Actor model ... In global state nondeterminism, a "choice" is made for the "next" global state ...
Actor Model - Message-passing Semantics - Unbounded Nondeterminism Controversy
... Such nondeterministic automata have the property of bounded nondeterminism that is, if a machine always halts when started in its initial state, then there is ... Dijkstra's model gave rise to a controversy concerning unbounded nondeterminism ... Unbounded nondeterminism (also called unbounded indeterminacy), is a property of concurrency by which the amount of delay in servicing a request can become unbounded as a result of arbitration of contention for shared ...