TY - RPRT TI - Reasoning about Shared-Qubit Concurrency in Quantum Computing AU - Mingsheng Ying PY - 2026 UR - https://arxiv.org/abs/2611.04274 ID - 2611.04274 ER -