[cap-talk] Partial authority
Pierre THIERRY
nowhere.man at levallois.eu.org
Mon May 7 19:55:09 EDT 2007
Scribit David Hopwood dies 07/05/2007 hora 17:35:
> I.e. the definition says that both alice and bob are involved in the
> causal chain that leads to run() being sent to ted.
That's not exactly the wording of the original definition, which said "o
has the authority to cause e to occur". Here it would then conclude that
alice or bob each has the authority to run ted, which seems erroneous to
me, because alice cannot run ted without bob's help and vice versa.
Curiously,
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/20070508/e7c79895/attachment.bin
More information about the cap-talk
mailing list