TLA+ Modeling of AWS outage DNS race condition (via aiono) — discussion

#distributed #formalmethods