Extending MVCC to be serializable, in TLA+ (2024)

1 points | by eatonphil 14 hours ago