Alternation

The following is Valid µOCCAM. This program contains 3 valid alternation processes, which are executed in sequence.

Program file: /public/cs3/web/ipptests-phase-1/alternation.accept

INT an.integer :
INT another.integer :

PAR

  ALT
    chan.1 ? an.integer
      SEQ  
        STOP
        SKIP

    chan.2 ? another.integer
      SKIP

  ALT


  ALT a.name = 3 FOR 15 - 2
    1 & chan.3 ? an.integer
      PAR
        an.integer := 5
        STOP