Changes by: Cristian Tapus (crt at cs.caltech.edu)
Date: 2005-09-29 18:01:20 -0700 (Thu, 29 Sep 2005)
Revision: 7803
Log message:
More changes to the model.
| Changes | Path |
| +1 -0 | mojavefs/shmem/model/gc/view_change/spin/common.pml |
| +133 -32 | mojavefs/shmem/model/gc/view_change/spin/consensus.pml |