The mode of dealing with inconsistent update sets described above can be called conservative determinism. The mode of dealing with inconsistent update sets in the tutorial was different: Fire all updates simultaneously; in case of conflict at any location l , choose the new value for l nondeterministically among all candidate values. It could be called local nondeterminism.
With the exception of this change in the treatment of inconsistent update sets, this guide is compatible with the tutorial. The change is not as big as it may seem because people are usually interested in deterministic programs. As far as we know, no existing EA application is affected. The local nondeterminism has not been exploited. The conservative determinism is simpler, and a more manageable form of nondeterminism will be introduced in .