Roast topics
Find topics
Find it!
Wrangling monotonic systems in TLA⁺ -
Tractable modeling of replicated logs & CRDTs
| Andrew Helwer
