A type system for enforcing serializability of distributed transactions with mixed consistency

Xin Zhao 0011, Kai Lu. A type system for enforcing serializability of distributed transactions with mixed consistency. Journal of Computer Languages, 87:101394, 2026. [doi]

Abstract

Abstract is missing.