notify( ) vs call( )

[Thomas Boch]

Hi,

> > Either way I think this needs to be made more explicit in the specification.
> 
> Evidently it does.  I propose revising section 2.5 as follows:
> 
>     \subsection{Sending and Receiving messages}
>     \label{sect:delivery-outline}
>     (...)
>
> and also adding the following to the end of section 3.9:
> 
>     Note that the two different cases from the receiver's point of view,
>     (...)
>
> Al - would that have made it clearer (or did the confusion arise from
> text elsewhere)?  Thomas and Mike - any objections?

None. I am happy with the revised sections.

Thomas