VDict mobile



parallel Processes cannot execute in parallel if one effects
values used by the other. Nor can they execute in parallel if
any subsequent process uses data effected by both, i.e. whose
value might depend on the order of execution.
(1995-02-23)