Back to table

An Alternation With Replicator and Assign

The following is valid µOCCAM. This program is a an alternation that uses a replicator. The alternative is a basic assign statement

Program file: /public/cs3/web/ipptests-phase-1/replicator-assign.accept
ALT aname.1  = 1 FOR 10
  chan.1 ? my.chan
    avar := 4