TY  - RPRT
TI  - A Forward Simulation-Based Hierarchy of Linearizable Concurrent Objects
AU  - Chao Wang
AU  - Ruijia Li
AU  - Yang Zhou
AU  - Peng Wu
AU  - Yi Lv
AU  - Jianwei Liao
AU  - Jim Woodcock
AU  - Zhiming Liu
PY  - 2026
UR  - https://arxiv.org/abs/2601.11646
ID  - 2601.11646
ER  -