Appendix A, theorem 1, formula 3 correction

rystsov / caspaxos

CASPaxos: Replicated State Machines without logs

97 stars 11 forks source link

Appendix A, theorem 1, formula 3 correction #5

Closed nickva closed 6 years ago

nickva commented 6 years ago

Fixes a repeating "forall x in double-dot E^2". Wonder if it should be x and y instead? That is, for all x and y in the set of accepted message events on acceptors...

rystsov commented 6 years ago

Good catch, thank you!