[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.

Toby




More information about the cap-talk mailing list