| Name | Size | Creator | Creation Date | Labels | Comment | ||
|---|---|---|---|---|---|---|---|
| PDF File yl-2010-007.pdf | 434 kB | Patrick D. Hunt | Jul 13, 2016 21:00 |
|
The proof of correctnesswritten for Zab (ZooKeeper Atomic Broadcast) | ||
| Version 1 (current) | 434 kB | Patrick D. Hunt | Jul 13, 2016 21:00 | The proof of correctnesswritten for Zab (ZooKeeper Atomic Broadcast) |