Modeling Paxos and Flexible Paxos in Pluscal and TLA+muratbuffalo.blogspot.com4 pointsr4um10 years ago