Lecture Slides (Linearizability and Wait-Free Implementations)
Lecture Slides (Consensus)
Code with examples, package consensus
consensus