TY  - RPRT
TI  - CQS: A Formally-Verified Framework for Fair and Abortable Synchronization
AU  - Nikita Koval
AU  - Dmitry Khalanskiy
AU  - Dan Alistarh
PY  - 2023
UR  - https://arxiv.org/abs/2111.12682
ID  - 2111.12682
ER  -