# content
Extending MVCC to be serializable, in TLA+ (2024) (via eatonphil) — discussion

#databases #formalmethods