distributed-systems 6
- Raw TLA+ Essentials: The Complete Guide to Writing Specs Without PlusCal
- PlusCal Essentials: The Complete Guide to Modeling Concurrent Systems
- Git Internals: Objects, Refs, and the Machinery Behind the Porcelain
- TLA+ Data Structures: Sets, Functions, Sequences, Records, and Beyond
- TLA+ in Practice: Refinement, Composition, and Real Protocol Verification
- TLA+ and PlusCal: Formal Verification for Distributed Systems