previous up next
Go backward to Other Properties
Go up to Top
Go forward to The Formula Psi
RISC-Linz logo

Another Example

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


Author: Wolfgang Schreiner
Last Modification: May 14, 1998

previous up next