changlinli/peterson-tlaplus

A TLA+ Specification of Peterson's Algorithm

2 best points · 0 comments · 1 Hacker News post · 5 GitHub stars · View on GitHub

Hacker News discussions

• A TLA+ Specification of Peterson's Algorithm (2 points, 0 comments, by dwohnitmok, 2019-07-26)