News for hackers. Stuff that matters.

A comment on Proof of linearizability in Raft using Coq. Parent comment

Re:Proof of linearizability in Raft using Coq by r0naa on Thursday August 06, 2015 @02:27PM (#10018385)
Kyle Kingsbury is the man, and his blog is a must read to anyone interested/curious by distributed systems.
[ Parent | on HN ]

There are no comments on this comment yet.