TLA+ Modeling of AWS outage DNS race condition

2 points | by todsacerdoti 6 hours ago