[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?
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]
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