This is the first paper i've seen to generalize consensus while only using immutable state.
That is, you can describe PaxOS, Raft, etc using the generalization given here.
The result is fairly understandable.
(Of course, as mentioned, Raft is trivial in her framework because there is only one thing deciding values, Raft is spending it's time in the leader election part to find that one thing)
Also, from the abstract, "the surprising result of this analysis is a substantial weakening to the quorum requirements of these widely studied algorithms."
That is, you can describe PaxOS, Raft, etc using the generalization given here.
The result is fairly understandable.
(Of course, as mentioned, Raft is trivial in her framework because there is only one thing deciding values, Raft is spending it's time in the leader election part to find that one thing)