[cap-talk] Selling capabilities programming

[Karp, Alan H]

Marcus Brinkmann wrote:
> 
> I don't think that's quite correct.  Usually either semantic can be
> emulated with the other.  To emulate map semantics in a copy model,
> you create a wrapper process for each capability.
> 
Who does the emulation?  Alice can pass the bits representing the
capability to Bob.  Hence, Bob and Alice use the same bits.  That means
you can't remove the capability Alice uses when her process ends without
removing Bob's right.

________________________
Alan Karp
Principal Scientist
Virus Safe Computing Initiative
Hewlett-Packard Laboratories
1501 Page Mill Road
Palo Alto, CA 94304
(650) 857-3967, fax (650) 857-7029
https://ecardfile.com/id/Alan_Karp
http://www.hpl.hp.com/personal/Alan_Karp