These guys also made a slide deck for the paper: http://www.ux.uis.no/~meling/papers/PaxosTutorial-Meling-OPO...