Changes by: Cristian Tapus (crt at cs.caltech.edu)
Date: 2005-09-28 17:46:50 -0700 (Wed, 28 Sep 2005)
Revision: 7792
Log message:

      Added the spin model for the "catching-up" phase in the view change 
      protocol.