Go backward to Other Properties Go up to Top Go forward to The Formula Psi |
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