Isolation & Permissiveness of Distributed Transactions in MongoDB (via typesanitizer) — discussion

#databases #distributed #formalmethods