3 ms·
You forgot to include a link to the spec
by algorithmsRcool 10y ago
You forgot to include a link to the spec
- jdnier 10y agoUgh, so I did. Here's the link: https://github.com/bringhurst/tlaplus/blob/master/examples/Paxos/MCPaxos.tla https://github.com/bringhurst/tlaplus/blob/master/examples/P...