2014/12/30 by Kazuya Yasuda, Takahiro Kubota, Yoshihiko Kakutani
Computer Science · Physics and Astronomy · #cs.LO #quant-ph
paper · pdf · doi:10.4204/eptcs.172.13
published as EPTCS 172, 2014, pp. 191-203 · In Proceedings QPL 2014, arXiv:1412.8102
arxiv created 2014/12/30 · arxiv updated 2014/12/31
In the study of quantum process algebras, researchers have introduced different notions of equivalence between quantum processes like bisimulation or barbed congruence. However, there are intuitively equivalent quantum processes that these notions do not regard as equivalent. In this paper, we introduce a notion of equivalence named observational equivalence into qCCS. Since quantum processes have both probabilistic and nondeterministic transitions, we introduce schedulers that solve nondeterministic choices and obtain probability distribution of quantum processes. By definition, the restrictions of schedulers change observational equivalence. We propose some definitions of schedulers, and investigate the relation between the restrictions of schedulers and observational equivalence.