Process X:private i;for $(i=0;i a[i]=f(i); Exit X(R,S);}Process Y:Private i;for $(i=0;i EntryY(R,S); b [i] = g(a [i])}
ExitX(R,S){P(R);V(S);}ExitY(R,S){P(S);V(R);}
ExitX(R,S ){V(R);V(S);}ExitY(R,S){P(R);P(S);}
ExitX(R,S){P(S);V(R);}ExitY(R,S){V(S);P(R);}
ExitX(R,S) {V(R);P(S);}ExitY(R,S){V(S);P(R);}