https://lamport.azurewebsites.net/tla/paxos-algorithm.html

https://lamport.azurewebsites.net/tla/paxos-algorithm.html

Last synced: 14 days ago
JSON representation