Extending MVCC to be serializable, in TLA+ (2024) #1 Post by eatonphil » Mon, Jul 20, 2026, 6:37 PM UTC Extending MVCC to be serializable, in TLA+ (2024)surfingcomplexity.blog