data.css"> 
</head><body 
>
      <div class="footnote-text">
 <!--l. 921--><p class="indent" >     <span class="footnote-mark"><a 
 id="fn2x7">   <sup class="textsuperscript">2</sup></a></span><span 
class="cmr-10">In a partially synchronous model, every node has a clock, and all</span>
  <span 
class="cmr-10">clocks increase at the same rate. However, the clocks themselves are not</span>
  <span 
class="cmr-10">synchronized, in that they may display different values at the same real</span>
  <span 
class=