README.md

vr.pyv

vr.pyv is a specification of Viewstamped Replication in mypyvy.

State Machine Diagrams

There are a number of useful state machine diagrams for Viewstamped Replication described in the morning paper by Adrian Colyer. They are replicated here below.

Normal Operation

View Change