[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Conflicting Priorities in occam
Here's another fish to throw in with the hares.
An interrupt operator is sometimes defined in CSP.
So P EEK(i) Q is a process that behaves as P unless the (interrupt) event
i happens when process P is completely dumped, and the subsequent behaviour
is that of Q.
Maybe the occam would look like this?
i ? x
Never used it myself. Not sure that I want it. Not very happy with throwing
P away completely. Just drawing it to your attention in case it is The
I will post 22K of postscript next with the proper CSPP definition in case you
would like it 1) typeset; 2) defined.
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