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

1 points by eatonphil