References

1. S. Aaronson & D. Gottesman (2004): Improved Simulation of Stabilizer Circuits. Physical Review A 70, pp. 52328, doi:10.1103/PhysRevA.70.052328.
2. T. A. S. Davidson (2011): Formal Verification Techniques using Quantum Process Calculus. University of Warwick.
3. Y. Feng, R. Duan, Z. Ji & M. Ying (2006): Probabilistic bisimilarities between quantum processes. Available at http://www.arxiv.org/abs/cs.LO/0601014.
4. Y. Feng, R. Duan & M. Ying (2011): Bisimulation for quantum processes. In: Proceedings of the 38th Annual ACM Symposium on Principles of Programming Languages. ACM, pp. 523–534, doi:10.1145/1926385.1926446.
5. S. J. Gay & R. Nagarajan (2005): Communicating Quantum Processes. In: Proceedings of the 32nd Annual ACM Symposium on Principles of Programming Languages. ACM, pp. 145–157, doi:10.1145/1040305.1040318.
6. S. J. Gay & R. Nagarajan (2006): Types and Typechecking for Communicating Quantum Processes. Mathematical Structures in Computer Science 16(3), pp. 375–406, doi:10.1017/S0960129506005263.
7. S. J. Gay, N. Papanikolaou & R. Nagarajan (2008): QMC: a model checker for quantum systems. In: CAV 2008: Proceedings of the 20th International Conference on Computer Aided Verification, Lecture Notes in Computer Science 5123. Springer, pp. 543–547, doi:10.1007/978-3-540-70545-1_51. Available at http://arxiv.org/abs/0704.3705.
8. S. J. Gay, N. Papanikolaou & R. Nagarajan (2010): Specification and verification of quantum protocols. In: Semantic Techniques in Quantum Computation. Cambridge University Press, pp. 414–472.
9. R. J. van Glabbeek & W. P. Weijland (1996): Branching time and abstraction in bisimulation semantics. Journal of the ACM 43(3), pp. 555–600, doi:10.1145/233551.233556.
10. M. Lalire (2006): Relations among quantum processes: bisimilarity and congruence. Mathematical Structures in Computer Science 16(3), pp. 407–428, doi:10.1017/S096012950600524X. Available at http://arxiv.org/abs/quant-ph/0603274.
11. R. Milner (1989): Communication and Concurrency. Prentice-Hall.
12. R. Milner (1999): Communicating and Mobile Systems: the Pi-Calculus. Cambridge University Press.
13. R. Milner, J. Parrow & D. Walker (1992): A calculus of mobile processes, I. Information and Computation 100(1), pp. 1–40, doi:10.1016/0890-5401(92)90008-4.
14. M. A. Nielsen & I. L. Chuang (2000): Quantum Computation and Quantum Information. Cambridge University Press.
15. D. Sangiorgi & D. Walker (2001): The π-calculus: a Theory of Mobile Processes. Cambridge University Press.
16. N. Trčka & S. Georgievska (2008): Branching Bisimulation Congruence for Probabilistic Systems. Electronic Notes in Theoretical Computer Science 220(3), pp. 129 – 143, doi:10.1016/j.entcs.2008.11.023.
17. M. Ying, Y. Feng, R. Duan & Z. Ji (2009): An Algebra of Quantum Processes. ACM Transactions on Computational Logic 10(3), pp. 1–36, doi:10.1145/1507244.1507249.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org