Example: Two Processors x par (y x y is evaluated on P1 x is taken up for evaluation on P2 x is sparked on p1x y is evaluated on P1 y x is taken up for evaluation on P2 x x is sparked on P1 P1 P2 x `par` (y + x)