4 ms·
Or if you're interested in the opposite of pseudocode, here's a TLA+ spec for Paxos. Related to yesterday's TLA+ video post https://news.ycombinator.com/item?i
by jdnier 10y ago
Or if you're interested in the opposite of pseudocode, here's a TLA+ spec for Paxos.
Related to yesterday's TLA+ video post https://news.ycombinator.com/item?id=13918648 https://news.ycombinator.com/item?id=13918648
- algorithmsRcool 10y agoYou 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...