TY  - RPRT
TI  - Scenario-Based Proofs for Concurrent Objects [Extended Version]
AU  - Constantin Enea
AU  - Eric Koskinen
PY  - 2024
UR  - https://arxiv.org/abs/2301.05740
ID  - 2301.05740
ER  -