Protocol: Linearizability