Changes by: David Noblet (dnoblet at cs.caltech.edu)
Date: 2005-09-29 18:18:25 -0700 (Thu, 29 Sep 2005)
Revision: 7804
Log message:
Added support for detecting old replies that we have timed out on.
Changes | Path |
+29 -10 | mojavefs/shmem/model/gc/view_change/tla/Consensus.tla |