Of course, mathematical models can also be nondeterministic ... For example, one can plug together autonomous software components anticipating that their interaction during execution may (or ...