A form of applicative order reduction in which all redexes in an expression are reduced simultaneously. Variants include parallel outermost reduction and lenient reduction. See normal order reduction.
Try this search on Wikipedia, OneLook, Google
Nearby terms: parallel processing « parallel processor « parallel random-access machine « parallel reduction » Parallel Server Option » Parallel SML » Parallel Sysplex