TY - RPRT TI - Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-Deterministic Observers AU - Lorenzo Ceragioli AU - Fabio Gadducci AU - Giuseppe Lomurno AU - Gabriele Tedeschi PY - 2023 UR - https://arxiv.org/abs/2311.06116 ID - 2311.06116 ER -