Author: Igor Konnov| Protocols Made Fun
I've been wanting to learn TLA+ for a while now, and I finally had a chance to do it thanks to a seminar series held by Professor Murat Demirbas. In...| blog.fponzi.me
Designing Concurrent & Distributed Systems with TLA+| magamig.github.io
More than just a first impression| Cheng Huang’s corner