Re: notify( ) vs call( )

From: Thomas Boch <boch-at-newb6.u-strasbg.fr>
Date: Tue, 13 May 2008 09:52:55 +0200


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 Received on 2008-05-13Z09:51:50