Observational Equivalence Using Schedulers for Quantum Processes
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 intro...
| Published in: | Electronic Proceedings in Theoretical Computer Science |
|---|---|
| Main Authors: | , , |
| Format: | Article |
| Language: | English |
| Published: |
Open Publishing Association
2014-12-01
|
| Online Access: | http://arxiv.org/pdf/1412.8546v1 |