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.
Adrian -- Dr A E Lawrence