Extending MVCC to be serializable, in TLA+ (2024) https://surfingcomplexity.blog/2024/11/03/extending-mvcc-to-be-serializable-in-tla/ #Databases #FormalMethods #TLAplus