Changes by: dnoblet (dnoblet at unknown.email)
Date: 2005-09-07 16:59:32 -0700 (Wed, 07 Sep 2005)
Revision: 1953
Log message:

      Modifications have been made to incorporate a new version of the view change protocol where the new view is decided upon in three stages as opposed to two.
      

Changes  Path
+4 -0 mojavefs/shmem/model/gc/view_change/tla/ViewChange.cfg
+465 -176 mojavefs/shmem/model/gc/view_change/tla/ViewChange.tla