TY  - RPRT
TI  - Visibility and Separability for a Declarative Linearizability Proof of the Timestamped Stack: Extended Version
AU  - Jesús Domínguez
AU  - Aleksandar Nanevski
PY  - 2023
DO  - 10.4230/lipics.concur.2023.30
UR  - https://arxiv.org/abs/2307.04720
ID  - 2307.04720
ER  -