Building a "Simple" Distributed System - The What

Specifying and Verifying a Distributed System with TLA+

Understanding How Apache Pulsar Works