Nondeterminism

Moving from a single-processor to a multi-processor system often exposes hidden nondeterminism due to invalid assumptions about scheduling.

Projection of an automaton almost always results in nondeterminism.