[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Conflicting Priorities in occam

Specifying the meaning of SKIP guards
Does this pseudo-occam capture what we mean by SKIP guards in PRI ALT?

[N]CHAN skip:
  PAR FOR i = 1 TO N                     PRI ALT FOR i = 1 TO N
    skip[i] !                              SKIP
  PRI ALT FOR i = 1 TO N        =            P[i]
    skip[i] ?

With the obvious CSPP equivalent process: and I need only ordinary hiding.

In haste. Departing real soon now...

A E Lawrence, MA., DPhil.  	adrian.lawrence@xxxxxxxxxxxxxx
MicroProcessor Unit, 13, Banbury Road, Oxford. OX2 6NN. UK.                
Voice: (+44)-1865-273274,  Fax: (+44)-1865-273275