Analyzing Linearizability in Relativistic Distributed Systems

Kahbod Aeini, Wojciech Golab. Analyzing Linearizability in Relativistic Distributed Systems. In Dennis Olivetti, Eric Ruppert, editors, Proceedings of the Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems, ApPLIED 2026, Royal Holloway, Egham, United Kingdom, July 6-10, 2026. ACM, 2026. [doi]

Abstract

Abstract is missing.