For related, I would list two papers. If you really want to understand these algorithms, start with these two: 1) https://lamport.azurewebsites.net/pubs/pubs.

For related, I would list two papers. If you really want to understand these algorithms, start with these two: 1) https://lamport.azurewebsites.net/pubs/pubs.html#time-clocks https://lamport.azurewebsites.net/pubs/pubs.html#time-clocks Lamport's 1978 "Time, Clocks, and the Ordering of Events in a Distributed System". The Raft dissertation never really explains why using a logical clock is the critical, central thing. It just glosses over it. And then read Lampson's 1996 "How to Build a Highly Available System Using Consensus". It will teach you how to prove equivalence of your variation back to an established, proven model. It is very clearly written. 2)https://www.microsoft.com/en-us/research/wp-content/uploads/1996/10/Acrobat-58-Copy.pdf https://www.microsoft.com/en-us/research/wp-content/uploads/...