> This concept is very well understood and is called divergence. A silent
> action is an *action*. It does something, namely allow the process to
> progress internally, in a way that is not observable by the environment.
> A process that engages in an infinite set of such actions, thereby not
> giving the environment any opportunity to influence its behavior, is
> said to be divergent.
I thought divergence affected the whole process, and was pretty
catastrophic. The catatonia action only affects the single thread in
which it occurred. Or am I misremembering it? It has been a few years
since I looked at CSP.
Jeremy
-------------------------------
JavaMemoryModel mailing list - http://www.cs.umd.edu/~pugh/java/memoryModel
This archive was generated by hypermail 2b29 : Thu Oct 13 2005 - 07:01:06 EDT