“…We thought it prudent, prior to building IDES, to anticipate some of the performance considerations, by first building an analytic model of IDES and study its behavior. We have already reported on that work by Nicol, Johnson, Yoshimura, and Goldsby (1997), we only sketch the approach and results here. The model recognizes that the key elements governing a sub-model's behavior with respect to synchronization are (1) its time of next event, and (2) its minimum known receive time on generated messages.…”