Changes by: David Noblet (dnoblet at cs.caltech.edu)
Date: 2005-09-14 12:18:22 -0700 (Wed, 14 Sep 2005)
Revision: 1996
Log message:

      Now a process will properly initiate its own view change if it detects that the initiator of the current view change has died.
      

Changes  Path
+30 -10 mojavefs/shmem/model/gc/view_change/tla/ViewChange.tla