Apparently Yahoo! Labs removed access to tech reports, including the proof of correctness we had written for Zab (ZooKeeper Atomic Broadcast). I’m consequently making it available here.
The passenger – Tech Writings of Flavio Junqueira
An arbitrary set of tech topics eventually consistent with my thoughts
The passenger - Tech Writings of Flavio Junqueira 