[cap-talk] Retroactive Corroboration for the EQ-less Horton Protocol

Toby Murray toby.murray at comlab.ox.ac.uk
Thu Feb 21 16:23:29 EST 2008

On Thu, 2008-02-21 at 10:48 -0800, Jim Larson wrote:
> On Thu, Feb 21, 2008 at 2:11 AM, Toby Murray
> <toby.murray at comlab.ox.ac.uk> wrote:

>         As soon as you introduce a hashtable, you've effectively
>         introduced EQ.
>         (Assuming the hashtable maps capabilities that would normally
>         be
>         considered EQ to the same value).
> The hashtable keys are integer tags, not capabilities, so the
> implementation
> doesn't require EQ. 

Sorry mate. I should have read closer. My bad.

Will go back and read the thing now -- although commented E code might
be a more compact description, if you've  got it.

Sorry for jumping the gun there.


More information about the cap-talk mailing list