Visibility and Separability for Declarative Proofs of Linearizability | Publicación