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

Re: Priority modeling with CSP?

A E Lawrence wrote:

When true concurrency is present there is another possibility:
a and b happening together. Furthermore, most implementations, in hardware at least will be "eager" : that is perform a and b together if they are both offered. In HCSP there is an eager refinment of ||| that does exactly that. All this works out with very little change to standard CSP. And if you have an (global) alphabet which excludes concurrent events -- then you get standard CSP back.

^^^^^^^^^^ - Whoops. I guess that "parallel" or "truely concurrent" would be less anbiguous.

Dr A E Lawrence