Jian Zhang, Cheng Tan 0005. Simplifying Snapshot Isolation: A New Definition, Equivalence, and Efficient Checking. In Proceedings of the 11th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2024, Athens, Greece, 22 April 2024. pages 23-29, ACM, 2024. [doi]
Abstract is missing.