Modular verification of MongoDB Transactions using TLA+
Joint work with Will Schultz . A transaction groups multiple operations into an all-or-nothing logical-box to reduce the surface area expose...| muratbuffalo.blogspot.com
Joint work with Will Schultz . A transaction groups multiple operations into an all-or-nothing logical-box to reduce the surface area expose...| muratbuffalo.blogspot.com
I'm catching up on Phil Eaton's book club and just finished the preface and Chapter 1 of Concurrency Control and Recovery in Database Syste...| muratbuffalo.blogspot.com
