Conflicting Priorities in occam

From: Adrian Lawrence (adrian.lawrence_at_email.domain.hidden)
Date: 1999-03-02 11:29:34

• Next message: Adrian Lawrence: "22K of postscript: Interrupt operator of CSPP"
• Previous message: Denis A Nicole: "Re: Priorities in SPoC"

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_at_oucs.ox.ac.uk.
MicroProcessor Unit, 13, Banbury Road, Oxford. OX2 6NN. UK.                
Voice: (+44)-1865-273274,  Fax: (+44)-1865-273275

• Next message: Adrian Lawrence: "22K of postscript: Interrupt operator of CSPP"
• Previous message: Denis A Nicole: "Re: Priorities in SPoC"

Original text of this message