Tony's Blog

2019

Back to top ↑

2018

Consensus Protocol Using TLA+

8 minute read

Looking to dive into distributed systems research, I recently started learning how to write TLA+ specifications. TLA+ is a specification language used to mat...

Back to top ↑

2017

Back to top ↑