Changes by: Cristian Tapus (crt at cs.caltech.edu)
Date: 2005-09-20 17:20:41 -0700 (Tue, 20 Sep 2005)
Revision: 7770
Log message:

      A version of the model that finishes fast for 2 nodes and buffer size 5.
      
      

Changes	Path
+133 -71	mojavefs/shmem/model/gc/view_change/spin/gcomm.pml