polyglotfacto2 Karma 12 Created 3 years ago Recent Submissions 1. ▲ Modelling Distributed Locking in TLA+ (medium.com) 15 points · 3 years ago · 0 comments 2. ▲ Modelling the archetype of a message-passing bug with TLA+ (medium.com) 2 points · 3 years ago · 0 comments All submissions on HN · View profile on HN