Viewstamped Replication Revisited (2015)

This 2015 post and the code on the 20k challenge to find correctness and liveness bugs on TiggerBettle's implementation are helping my understand better what VSR is all about.

I wonder what other projects are using it in the wild.