TY - RPRT TI - Observational Equivalence Using Schedulers for Quantum Processes AU - Kazuya Yasuda AU - Takahiro Kubota AU - Yoshihiko Kakutani PY - 2014 DO - 10.4204/eptcs.172.13 UR - https://arxiv.org/abs/1412.8546 ID - 1412.8546 ER -