Pushing the Limit: Verified Performance-Optimal Causally-Consistent
Database Transactions

Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions

11 November 2024

Shabnam Ghasemirad

Christoph Sprenger

Papers citing "Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions"

Title
No papers