References

1. Stephen M. Barnett (2009): Quantum Information. Oxford University Press.
2. S. D. Bartlett, de Guise D & B. C.. Sanders (2002): Quantum encodings in spin systems and harmonic oscillators.. Physical Review Letters A 65, doi:10.1103/PhysRevA.65.052316.
3. Charles H. Bennett, G. Brassard, C. Crepeau, R. Jozsa, A. Peres & W. K. Wootters (1993): Teleporting an Unknown Quantum State via Dual Classical and Einstein-Podolsky-Rosen Channels. Physical Review Letters 70, pp. 1895–1899, doi:10.1103/PhysRevLett.70.1895.
4. Adetunmise C. Dada, Jonathan. Leach, Gerald S. Buller, Miles J. Padgett & Erika Andersson (2011): Experimental high-dimensional two-photon entanglement and violations of generalised Bell inequalities.. Nature Physics 7, pp. 677–680, doi:10.1038/nphys1996.
5. V. D'Ambrosio, E. Nagali, L. Marrucci & F. Sciarrino (2012): Orbital angular momentum for quantum information processing. Proceedings of the SPIE 8440, pp. 84400F–84400F–11, doi:10.1117/12.924842.
6. Timothy A. S. Davidson (2011): Formal Verification Techniques using Quantum Process Calculus. University of Warwick. Available at http://webcat.warwick.ac.uk/record=b2584701~S1.
7. Yuan Feng, Runyao Duan, Zhengfeng Ji & Mingsheng Ying (2006): Probabilistic bisimilarities between quantum processes. arXiv:cs.LO/0601014. Available at http://www.arxiv.org/abs/cs.LO/0601014.
8. Yuan Feng, Runyao Duan & Mingsheng 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.
9. S. Franke-Arnold, L. Allen & M. J. Padgett (2008): Advances in optical angular momentum.. Laser and Photonics Reviews 2(4), pp. 299–313, doi:10.1002/lpor.200810007.
10. Kazuyuki Fujii (2001): Generalized Bell States and quantum teleportation. arXiv: quant-ph/0106018.
11. Simon J. Gay & Rajagopal 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.
12. Simon J. Gay & Rajagopal Nagarajan (2006): Types and Typechecking for Communicating Quantum Processes. Mathematical Structures in Computer Science 16(3), pp. 375–406, doi:10.1017/S0960129506005263.
13. B. Jack, J. Leach, H. Ritsch, S. M. Barnett, M. J. Padgett & S. Franke-Arnold (2009): Precise quantum tomography of photon pairs with entangled orbital angular momentum.. New Journal of Physics 11, doi:10.1088/1367-2630/11/10/103024.
14. M. Lalire & P.. Jorrand (2004): A process algebraic approach to concurrent and distributed quantum computation: Operational semantics.. TUCS General Publication No 33, pp. 109–126.
15. Marie 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.
16. Robin Milner (1989): Communication and Concurrency. Prentice-Hall.
17. Robin Milner (1999): Communicating and Mobile Systems: the Pi-Calculus. Cambridge University Press.
18. Robin Milner, Joachim Parrow & David Walker (1992): A calculus of mobile processes, I. Information and Computation 100(1), pp. 1–40, doi:10.1016/0890-5401(92)90008-4.
19. Georgios M. Nikolopoulos & Gernot Alber (2005): Security bound of two-basis quantum-key-distribution protocols using qudits. Physical Review Letters A 72, doi:10.1103/PhysRevA.72.032320.
20. Davide Sangiorgi & David Walker (2001): The π-calculus: a Theory of Mobile Processes. Cambridge University Press.
21. P. W. Shor (1994): Algorithms for quantum computation: discrete logarithms and factoring. In: FOCS '94: Proceedings of the 35th Annual Symposium on Foundations of Computer Science. IEEE Computer Society, Washington, DC, USA, pp. 124–134, doi:10.1109/SFCS.1994.365700.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org