- - - - CENAPAD-MGCO

A seguir: Filósofos Acima: Exemplos de Uso Anterior: Buffer Limitado

Semáforos

S:: val: integer;
    val := 0;
    *[
       (i:1..100) X(i) ? V() -> val := val + 1
     ||
       (i:1..100) val > 0;
                  X(i) ? P() -> val := val - 1
     ]