@inproceedings(Ebrahim2014,
 author       = "E. Ardeshir-Larijani and S. J. Gay and R. Nagarajan",
 year         = "2014",
 title        = "Verification of Concurrent Quantum Protocols by Equivalence Checking",
 booktitle    = "Proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)",
 volume       = "8413",
 publisher    = "LNCS",
 pages        = "500--514",
 doi          = "10.1007/978-3-642-54862-8_42",
)
@inproceedings(Davidson2011,
 author       = "T. A. S. Davidson and S. J. Gay and R. Nagarajan and I. V. Puthoor",
 year         = "2011",
 title        = "Analysis of a Quantum Error Correcting Code using Quantum Process Calculus",
 booktitle    = "Proceedings of the International Workshop on Quantum Physics and Logic (QPL)",
 volume       = "95",
 publisher    = "EPTCS",
 pages        = "67--80",
 doi          = "10.4204/EPTCS.95.7",
)
@phdthesis(DavidsonThesis,
 author       = "Timothy A. S. Davidson",
 year         = "2011",
 title        = "Formal Verification Techniques using Quantum Process Calculus",
 school       = "University of Warwick",
)
@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",
)
@inproceedings(Arnold2013,
 author       = "S. Franke-Arnold and S. J. Gay and I. V. Puthoor",
 year         = "2013",
 title        = "Quantum process calculus for linear optical computing",
 booktitle    = "Proceedings of the 5th Conference on Reversible Computation (RC)",
 volume       = "7948",
 publisher    = "LNCS",
 pages        = "234--246",
 doi          = "10.1007/978-3-642-38986-3_19",
)
@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(Glabbeek1996,
 author       = "Rob J. van Glabbeek and W. Peter Weijland",
 year         = "1996",
 title        = "Branching time and abstraction in bisimulation semantics",
 journal      = "Journal of the ACM",
 volume       = "43",
 number       = "3",
 pages        = "555--600",
 doi          = "10.1145/233551.233556",
)
@misc(IDQ2001a,
 author       = "IDQ",
 title        = "ID Quantique",
 url          = "http://www.idquantique.com/company/presentation.html",
)
@article(Knill2001,
 author       = "E. Knill and R. Laflamme and G. J. Milburn",
 year         = "2001",
 title        = "A scheme for efficient quantum computation with linear optics",
 journal      = "Nature",
 volume       = "409",
 pages        = "46",
 doi          = "10.1038/35051009",
)
@inproceedings(Kubota2012,
 author       = "T. Kubota and Y. Kakutani and G. Kato and Y. Kawano and H. Sakurada",
 year         = "2012",
 title        = "Application of a process calculus to security proofs of quantum protocols",
 booktitle    = "Proceedings of WORLDCOMP/FCS2012",
)
@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(Myers2005,
 author       = "C. R. Myers and R. Laflamme",
 year         = "2005",
 title        = "Linear Optics Quantum Computation: an Overview",
 journal      = "arXiv: quant-ph/0512104v1",
)
@book(Nielsen2000,
 author       = "M. A. Nielsen and I. L. Chuang",
 year         = "2000",
 title        = "Quantum Computation and Quantum Information",
 publisher    = "Cambridge University Press",
)
@article(Brien2003,
 author       = "J. L. O'Brien and G. J. Pryde and A. G. White and T. C. Ralph and D. Branning",
 year         = "2003",
 title        = "Demonstration of an all-optical quantum controlled-NOT gate",
 journal      = "Nature",
 volume       = "426",
 pages        = "264",
 doi          = "10.1038/nature02054",
)
@article(Brien2009a,
 author       = "A. Politi and J. C. F. Matthews and J. L. O'Brien",
 year         = "2009",
 title        = "Shor's Quantum Factoring Algorithm on a Photonic Chip",
 journal      = "Science",
 volume       = "325",
 pages        = "1221",
 doi          = "10.1126/science.1173731",
)
@article(Ralph2002,
 author       = "T. C. Ralph and N. K. Lanford and T. B. Bell and A. G. White",
 year         = "2002",
 title        = "Linear optical controlled-NOT gate in the coincidence basis",
 journal      = "Physical Review Letters A",
 volume       = "65",
 pages        = "062324--1",
 doi          = "10.1103/PhysRevA.65.062324",
)
@article(Trcka2008,
 author       = "Nikola Tr\v {c}ka and Sonja Georgievska",
 year         = "2008",
 title        = "Branching Bisimulation Congruence for Probabilistic Systems",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "220",
 number       = "3",
 pages        = "129 -- 143",
 doi          = "10.1016/j.entcs.2008.11.023",
)
@article(Wright1994,
 author       = "Andrew K. Wright and Matthias Felleisen",
 year         = "1994",
 title        = "A syntactic approach to type soundness",
 journal      = "Information and Computation",
 volume       = "115",
 number       = "1",
 pages        = "38--94",
 doi          = "10.1006/inco.1994.1093",
)