Deterministic parallel fixpoint computation