"E-correctness" of a set of "computation processes"