Re: Reliability of RPC services

[Marcus Brinkmann]

At Mon, 24 Apr 2006 12:23:18 -0400,
"Jonathan S. Shapiro" <address@hidden> wrote:
> Delegation != move. Delegation can be accomplished by capability copy.
> 
> Or to put it another way
> 
>       move =def= copy + drop
>       drop => drop notice
>       drop notice => invoked capability
>       invoked capability => invalid capability
>       invalid capability => no valid response ever

These are your definitions.  But in my scenario, send-once aka reply
capabilities can _not_ be copied, only moved, where move =def= copy +
invalidation (_without_ invocation).

Thanks,
Marcus