CS240
Reference Materials
L14:
Paxos Made Practical
-- Handout describing the details of how Paxos can be used to build a replicated service.
L15:
Nooks home page
. See in particular the longer
journal
version of the paper we read in class for more details.
L17:
Jif home page
. See in particular the
Jif reference manual
.