Changes by: dnoblet (dnoblet at unknown.email)
Date: 2005-08-30 15:26:53 -0700 (Tue, 30 Aug 2005)
Revision: 1950
Log message:

      Initial 'working' draft model for group communication.
      

Changes  Path
+6 -6 mojavefs/shmem/model/gc/view_change/tla/ViewChange.cfg
+66 -38 mojavefs/shmem/model/gc/view_change/tla/ViewChange.tla