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

Journal of Computer Languages 2026

View at publisher

Authors: Xin Zhao, Kai Lu

DOI: 10.1016/j.cola.2026.101394

Cited by: 0

References: 25

Fields of Study & Subjects

Distributed systems and fault tolerance Logic programming and type systems Advanced Database Systems and Queries

References 25