Simplifying Snapshot Isolation: A New Definition, Equivalence, and Efficient Checking

Open Webpage

Jian Zhang, Cheng Tan

Published: 01 Jan 2024, Last Modified: 08 May 2025PaPoC@EuroSys 2024EveryoneRevisionsBibTeXCC BY-SA 4.0