A TLA+ Specification of Peterson's Algorithmgithub.com2 points·dwohnitmok··0 commentsOpen articleSaveView on HN