On Thu, 2003-12-04 at 15:06, Jean Wolter wrote:
"Jonathan S. Shapiro" shap@eros-os.org writes:
Is there some variant of the 'map' operation in which B does NOT retain the ability to revoke C's mapping?
I am not sure whether I understood the question correctly but there is the grant operation.
After A maps to B and B maps to C it would look like
A -> B -> C
in contrast to A maps to B and B grants to C which would look like
A -> C
Thanks for replying, Jean. Let's see if I can clarify the question:
I am looking for a sequence in which A maps to B and B ??? to C and the result would look like:
A -> B A -> C
Is there such an operation?
Also, I forgot to ask: is there some reason why such an operation would be inadvisable?