TY  - RPRT
TI  - Generalized Security-Preserving Refinement for Concurrent Systems
AU  - Huan Sun
AU  - David Sanán
AU  - Jingyi Wang
AU  - Yongwang Zhao
AU  - Jun Sun
AU  - Wenhai Wang
PY  - 2025
UR  - https://arxiv.org/abs/2511.06862
ID  - 2511.06862
ER  -