[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