A type of Execution Order in Programming Languages where execution order is mostly unspecified so that the program specifies what should be done, but not in which order.
Dependencies through data might however impose a certain order of execution.
In contrast to Concurrent Execution Order the choice of execution order does not affect the final result.