var integer x, y = 0; var semaphore sem = 1; cobegin loop alpha1: <P(sem)>; beta1: <x := x+1> gamma1: <V(sem)>; endloop [] loop alpha2: <P(sem)>; beta2: <y := y+1> gamma2: <V(sem)>; endloop coend