Changes by: Cristian Tapus (crt at cs.caltech.edu)
Date: 2005-09-06 01:52:40 -0700 (Tue, 06 Sep 2005)
Revision: 1952
Log message:

      Bits of the model for the group communication library in Promela.
      

Changes	Path
Added	mojavefs/shmem/model/gc/view_change/spin/gcomm.pml
Properties	mojavefs/shmem/model/gc/view_change/spin/gcomm.pml