[cap-talk] EQ not required by object-cap model (was :Flawed first attempt)

[Valerio Bellizzomi]

On 16/12/2006, at 1.43, Matej Kosik wrote:

>Sometimes non-determinism does not bother us. That is, if there are more
>states in which the system can evolve and all of them are correct, why
>to bother which one will actually chosen? If we let things be, they will
>not be oversynchronized and there may be more degree of concurrency.

Sometimes it bother us in which state the system can evolve, even if all
of them are correct. For example in learning algorithms, where the
objective-function is there expressly to guide system decisions. But of
course, it depends.

Sorry for jumping in.

val

>- --
>Matej Kosik