Communication Requirements for Linearizable Registers

Raïssa Nataf, Yoram Moses

While linearizability is a fundamental correctness condition for distributed systems, ensuring the linearizability of implementations can be quite complex. An essential aspect of l…