View Stamped Replication (#1) · Issues · distributed-systems / models