Giuliano Losa
Results
1
repositories owned by
Giuliano Losa
PaxosMadeSimple
21
Stars
2
Forks
Watchers
A TLA+ formalization of the algorithm described in "Paxos Made Simple"
