@inproceedings(BennettCH:quacpd,
 author       = "C. H. Bennett and G. Brassard",
 year         = "1984",
 title        = "Quantum {C}ryptography: {P}ublic-key {D}istribution and {C}oin {T}ossing",
 booktitle    = "IEEE Conf. on Comp.,\ Sys. and Sig. Proc.",
)
@article(BennettCH:teluqs,
 author       = "C. H. Bennett and G. Brassard and C. Cr\'{e}peau and R. Jozsa and A. Peres and W. K. Wootters",
 year         = "1993",
 title        = "Teleporting an unknown quantum state via dual classical and {E}instein-{P}odolsky-{R}osen channels",
 journal      = "Phys.\ Rev.\ Lett.",
 volume       = "70",
 pages        = "1895--1899",
 doi          = "10.1103/PhysRevLett.70.1895",
)
@inproceedings(CanettiR:unicsn,
 author       = "R. Canetti",
 year         = "2001",
 title        = "Universally Composable Security: A New Paradigm for Cryptographic Protocols",
 booktitle    = "42nd IEEE Symp.\ Found.\ Comp.\ Sci.",
 doi          = "10.1109/SFCS.2001.959888",
)
@article(DavidsonT:modccq,
 author       = "T. Davidson and S. J. Gay and H. Mlna\v {r}\'{\i }k and R. Nagarajan and N. Papanikolaou",
 year         = "2011",
 title        = "Model Checking for {C}ommunicating {Q}uantum {P}rocesses",
 journal      = "International Journal of Unconventional Computing",
 note         = "(to appear)",
)
@phdthesis(DavidsonT:forvtq,
 author       = "T. A. S. Davidson",
 year         = "2011",
 title        = "Formal Verification Techniques using Quantum Process Calculus",
 school       = "University of Warwick",
)
@article(DeutschD:rapspq,
 author       = "D. Deutsch and R. Jozsa",
 year         = "1992",
 title        = "Rapid solutions of problems by quantum computation",
 journal      = "Proceedings of the Royal Society of London A",
 volume       = "439",
 number       = "1907",
 pages        = "553--558",
 doi          = "10.1098/rspa.1992.0167",
)
@inproceedings(FengY:bisqp,
 author       = "Y. Feng and R. Duan and M. Ying",
 year         = "2011",
 title        = "Bisimulation for quantum processes",
 booktitle    = "38th ACM Symp.\ on Principles of Prog.\ Langs.",
 doi          = "10.1145/1926385.1926446",
)
@inproceedings(GaySJ:comqp,
 author       = "S. J. Gay and R. Nagarajan",
 year         = "2005",
 title        = "Communicating Quantum Processes",
 booktitle    = "32nd ACM Symp.\ on Principles of Prog.\ Langs.",
 doi          = "10.1145/1040305.1040318",
 note         = "Also arXiv:quant-ph/0409052",
)
@article(GaySJ:typtcq,
 author       = "S. J. Gay and R. Nagarajan",
 year         = "2006",
 title        = "Types and typechecking for {C}ommunicating {Q}uantum {P}rocesses",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "16",
 number       = "3",
 pages        = "375--406",
 doi          = "10.1017/S0960129506005263",
)
@inproceedings(GaySJ:qmcmcq,
 author       = "S. J. Gay and N. Papanikolaou and R. Nagarajan",
 year         = "2008",
 title        = "{QMC}: a model-checker for quantum systems",
 booktitle    = "Proceedings of the 20th International Conference on Computer Aided Verification (CAV)",
 series       = "Springer LNCS",
 volume       = "5123",
 pages        = "543--547",
 doi          = "10.1007/978-3-540-70545-1\_51",
)
@incollection(GaySJ:spevqp,
 author       = "S. J. Gay and N. Papanikolaou and R. Nagarajan",
 year         = "2010",
 title        = "Specification and verification of quantum protocols",
 booktitle    = "Semantic Techniques in Quantum Computation",
 publisher    = "Cambridge University Press",
)
@inproceedings(GroverL:fasqma,
 author       = "L. Grover",
 year         = "1996",
 title        = "A Fast Quantum Mechanical Algorithm for Database Search",
 booktitle    = "Proc. 28th Annual ACM Symposium on the Theory of Computation",
 publisher    = "ACM Press",
 pages        = "212--219",
 doi          = "10.1145/237814.237866",
)
@inproceedings(JorrandP:towqpa,
 author       = "P. Jorrand and M. Lalire",
 year         = "2004",
 title        = "Toward a Quantum Process Algebra",
 booktitle    = "1st ACM Conf.\ on Computing Frontiers",
 doi          = "10.1145/977091.977108",
)
@article(LalireM:relqpb,
 author       = "M. Lalire",
 year         = "2006",
 title        = "Relations among quantum processes: bisimilarity and congruence",
 journal      = "Math.\ Struct.\ Comp.\ Sci.",
 volume       = "16",
 number       = "3",
 pages        = "407--428",
 doi          = "10.1017/S096012950600524X",
)
@article(MayersD:uncsqc,
 author       = "D. Mayers",
 year         = "2001",
 title        = "Unconditional {S}ecurity in {Q}uantum {C}ryptography",
 journal      = "J.\ ACM",
 volume       = "48",
 number       = "3",
 pages        = "351--406",
 doi          = "10.1145/382780.382781",
)
@misc(NagarajanR:forvqp,
 author       = "R. Nagarajan and S. J. Gay",
 year         = "2002",
 title        = "Formal Verification of Quantum Protocols",
 howpublished = "arXiv:quant-ph/0203086",
)
@phdthesis(PapanikolaouNK:modcqp,
 author       = "N. K. Papanikolaou",
 year         = "2009",
 title        = "Model Checking Quantum Protocols",
 school       = "University of Warwick",
)
@inproceedings(ShorPW:algqcd,
 author       = "P. W. Shor",
 year         = "1994",
 title        = "Algorithms for quantum computation: discrete logarithms and factoring",
 booktitle    = "35th IEEE Symp.\ Found.\ Comp.\ Sci.",
 doi          = "10.1109/SFCS.1994.365700",
)
@article(TrckaN:brabcp,
 author       = "N. Tr\v {c}ka and S. 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(YingM:algqp,
 author       = "M. Ying and Y. Feng and R. Duan and Z. Ji",
 year         = "2009",
 title        = "An algebra of quantum processes",
 journal      = "ACM Trans.\ Comp.\ Logic",
 volume       = "10",
 number       = "3",
 pages        = "19",
 doi          = "10.1145/1507244.1507249",
)