All in One: Design, Verification, and Implementation of SNOW-optimal Read Atomic Transactions

Si Liu. All in One: Design, Verification, and Implementation of SNOW-optimal Read Atomic Transactions. ACM Transactions on Software Engineering Methodology, 31(3), 2022. [doi]

Abstract

Abstract is missing.