Go backward to Other Properties
Go up to Top
Go forward to The Formula Psi

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


Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: tla2.tex,v 1.2 96/05/06 10:48:53 schreine Exp Locker: schreine

Prev Up Next