Rapid Prototyping a Safe, Logless Reconfiguration Protocol for MongoDB with TLA+ (via ajessejiryudavis) — discussion

#distributed #formalmethods