(* PARALLEL COMPUTATION (MULTISTEP) *****************************************)
definition preds: relation term ≝ star … pred.
(* PARALLEL COMPUTATION (MULTISTEP) *****************************************)
definition preds: relation term ≝ star … pred.