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

EEK
  i ? x
    Q
  P

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
Answer.

I will post 22K of postscript next  with the proper CSPP definition in case you
would like it 1) typeset; 2) defined. 

Adrian
-- 
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