Login
Roast topics
Find topics
Find it!
From:
muratbuffalo.blogspot.com
(Uncensored)
subscribe
Modular verification of MongoDB Transactions using TLA+
http://muratbuffalo.blogspot.com/2025/05/modular-verification-of-mongodb.html
links
backlinks
Tagged with:
mongodb
tla
distributed transactions
Roast topics
Find topics
Roast it!
Joint work with Will Schultz . A transaction groups multiple operations into an all-or-nothing logical-box to reduce the surface area expose...