1 post
@lobsters Extending MVCC to be serializable, in TLA+ (2024) #Databases #FormalMethods #TLAplus
Enter the Mastodon instance your account is hosted at.
Don't have an account? Find a server at joinmastodon.org