[cap-talk] Is "Authority" Subjective?

[Pierre THIERRY]

Scribit Jonathan S. Shapiro dies 22/06/2007 hora 13:35:
> Not generally. Yes, there is concurrency in the real system, but the
> *model* generally assumes a layer at which execution proceeds by some
> serializable sequence of atomic operations.
> 
> The serialization need not be unique, but at least one such
> serialization has to exist.

But when the serialization is not unique, you cannot reason on it.

Parallely,
Pierre
-- 
nowhere.man at levallois.eu.org
OpenPGP 0xD9D50D8A
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: Digital signature
Url : http://www.eros-os.org/pipermail/cap-talk/attachments/20070623/8d1a09bc/attachment.bin