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