@book(Barnett2009,
 author       = "Stephen M. Barnett",
 year         = "2009",
 title        = "Quantum Information",
 publisher    = "Oxford University Press",
)
@article(Bartlett2002,
 author       = "S. D. Bartlett and de Guise D and B. C.. Sanders",
 year         = "2002",
 title        = "Quantum encodings in spin systems and harmonic oscillators.",
 journal      = "Physical Review Letters A",
 volume       = "65",
 doi          = "10.1103/PhysRevA.65.052316",
)
@article(Bennett1993,
 author       = "Charles H. Bennett and G. Brassard and C. Crepeau and R. Jozsa and A. Peres and W. K. Wootters",
 year         = "1993",
 title        = "{Teleporting an Unknown Quantum State via Dual Classical and Einstein-Podolsky-Rosen Channels}",
 journal      = "Physical Review Letters",
 volume       = "70",
 pages        = "1895--1899",
 doi          = "10.1103/PhysRevLett.70.1895",
)
@article(Dada2011,
 author       = "Adetunmise C. Dada and Jonathan. Leach and Gerald S. Buller and Miles J. Padgett and Erika Andersson",
 year         = "2011",
 title        = "{Experimental high-dimensional two-photon entanglement and violations of generalised Bell inequalities.}",
 journal      = "Nature Physics",
 volume       = "7",
 pages        = "677--680",
 doi          = "10.1038/nphys1996",
)
@article(Ambrosio2012,
 author       = "V. D'Ambrosio and E. Nagali and L. Marrucci and F. Sciarrino",
 year         = "2012",
 title        = "Orbital angular momentum for quantum information processing",
 journal      = "Proceedings of the SPIE",
 volume       = "8440",
 pages        = "84400F--84400F--11",
 doi          = "10.1117/12.924842",
)
@phdthesis(DavidsonThesis,
 author       = "Timothy A. S. Davidson",
 year         = "2011",
 title        = "Formal Verification Techniques using Quantum Process Calculus",
 school       = "University of Warwick",
 url          = "http://webcat.warwick.ac.uk/record=b2584701~S1",
)
@misc(Feng2006,
 author       = "Yuan Feng and Runyao Duan and Zhengfeng Ji and Mingsheng Ying",
 year         = "2006",
 title        = "Probabilistic bisimilarities between quantum processes",
 howpublished = "arXiv:cs.LO/0601014",
 url          = "http://www.arxiv.org/abs/cs.LO/0601014",
)
@inproceedings(Feng2011,
 author       = "Yuan Feng and Runyao Duan and Mingsheng Ying",
 year         = "2011",
 title        = "Bisimulation for quantum processes",
 booktitle    = "Proceedings of the 38th Annual ACM Symposium on Principles of Programming Languages",
 publisher    = "ACM",
 pages        = "523--534",
 doi          = "10.1145/1926385.1926446",
)
@article(Arnold2008,
 author       = "S. Franke-Arnold and L. Allen and M. J. Padgett",
 year         = "2008",
 title        = "{Advances in optical angular momentum.}",
 journal      = "{Laser and Photonics Reviews}",
 volume       = "2",
 number       = "4",
 pages        = "299--313",
 doi          = "10.1002/lpor.200810007",
)
@article(Fujii2001,
 author       = "Kazuyuki Fujii",
 year         = "2001",
 title        = "{Generalized Bell States and quantum teleportation}",
 journal      = "arXiv: quant-ph/0106018",
)
@inproceedings(Gay2005,
 author       = "Simon J. Gay and Rajagopal Nagarajan",
 year         = "2005",
 title        = "Communicating {Q}uantum {P}rocesses",
 booktitle    = "Proceedings of the 32nd Annual ACM Symposium on Principles of Programming Languages",
 publisher    = "ACM",
 pages        = "145--157",
 doi          = "10.1145/1040305.1040318",
)
@article(Gay2006a,
 author       = "Simon J. Gay and Rajagopal Nagarajan",
 year         = "2006",
 title        = "{Types and Typechecking for Communicating Quantum Processes}",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "16",
 number       = "3",
 pages        = "375--406",
 doi          = "10.1017/S0960129506005263",
)
@article(Jack2009,
 author       = "B. Jack and J. Leach and H. Ritsch and S. M. Barnett and M. J. Padgett and S. Franke-Arnold",
 year         = "2009",
 title        = "{Precise quantum tomography of photon pairs with entangled orbital angular momentum.}",
 journal      = "{New Journal of Physics}",
 volume       = "11",
 doi          = "10.1088/1367-2630/11/10/103024",
)
@article(Lalire2004,
 author       = "M. Lalire and P.. Jorrand",
 year         = "2004",
 title        = "{A process algebraic approach to concurrent and distributed quantum computation: Operational semantics.}",
 journal      = "{TUCS General Publication No 33}",
 pages        = "109--126",
)
@article(Lalire2006,
 author       = "Marie Lalire",
 year         = "2006",
 title        = "Relations among quantum processes: bisimilarity and congruence",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "16",
 number       = "3",
 pages        = "407--428",
 doi          = "10.1017/S096012950600524X",
 url          = "http://arxiv.org/abs/quant-ph/0603274",
)
@book(Milner1989,
 author       = "Robin Milner",
 year         = "1989",
 title        = "Communication and {C}oncurrency",
 publisher    = "Prentice-Hall",
)
@book(Milner1999,
 author       = "Robin Milner",
 year         = "1999",
 title        = "Communicating and Mobile Systems: the Pi-Calculus",
 publisher    = "Cambridge University Press",
)
@article(Milner1992,
 author       = "Robin Milner and Joachim Parrow and David Walker",
 year         = "1992",
 title        = "A calculus of mobile processes, {I}",
 journal      = "Information and Computation",
 volume       = "100",
 number       = "1",
 pages        = "1--40",
 doi          = "10.1016/0890-5401(92)90008-4",
)
@article(Nikolopoulos2005,
 author       = "Georgios M. Nikolopoulos and Gernot Alber",
 year         = "2005",
 title        = "Security bound of two-basis quantum-key-distribution protocols using qudits",
 journal      = "Physical Review Letters A",
 volume       = "72",
 doi          = "10.1103/PhysRevA.72.032320",
)
@book(Sangiorgi2001,
 author       = "Davide Sangiorgi and David Walker",
 year         = "2001",
 title        = "The {$\pi $}-calculus: a Theory of Mobile Processes",
 publisher    = "Cambridge University Press",
)
@inproceedings(Shor1994,
 author       = "P. W. Shor",
 year         = "1994",
 title        = "Algorithms for quantum computation: discrete logarithms and factoring",
 booktitle    = "FOCS '94: Proceedings of the 35th Annual Symposium on Foundations of Computer Science",
 publisher    = "IEEE Computer Society",
 address      = "Washington, DC, USA",
 pages        = "124--134",
 doi          = "10.1109/SFCS.1994.365700",
)