@inproceedings(Abadi2001,
 author       = "Mart\'{\i }n Abadi and C\'{e}dric Fournet",
 year         = "2001",
 title        = "{Mobile Values, New Names, and Secure Communication}",
 booktitle    = "Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '01",
 publisher    = "ACM Press",
 address      = "New York, New York, USA",
 pages        = "104--115",
 doi          = "10.1145/360204.360213",
)
@inproceedings(Bennett1984,
 author       = "Charles H. Bennett and Gilles Brassard",
 year         = "1984",
 title        = "{Quantum cryptography: Public key distribution and coin tossing}",
 booktitle    = "Proceedings of IEEE International Conference on Computers, Systems and Signal Processing",
 pages        = "175--179",
)
@phdthesis(Davidson2012a,
 author       = "Timothy A. S. Davidson",
 year         = "2012",
 title        = "{Formal verification techniques using quantum process calculus}",
 type         = "Phd thesis",
 school       = "University of Warwick",
)
@article(Davidson2012,
 author       = "Timothy A. S. Davidson and Simon J. Gay and Rajagopal Nagarajan and Ittoop Vergheese Puthoor",
 year         = "2012",
 title        = "{Analysis of a Quantum Error Correcting Code using Quantum Process Calculus}",
 journal      = "Electronic Proceedings in Theoretical Computer Science",
 volume       = "95",
 pages        = "67--80",
 doi          = "10.4204/EPTCS.95.7",
)
@incollection(Deng2012,
 author       = "Yuxin Deng and Yuan Feng",
 year         = "2012",
 title        = "{Open Bisimulation for Quantum Processes}",
 booktitle    = "Theoretical Computer Science",
 series       = "Lecture Notes in Computer Science",
 volume       = "7604",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "119--133",
 doi          = "10.1007/978-3-642-33475-7\_9",
)
@article(Feng2007,
 author       = "Yuan Feng and Runyao Duan and Zhengfeng Ji and Mingsheng Ying",
 year         = "2007",
 title        = "{Probabilistic bisimulations for quantum processes}",
 journal      = "Information and Computation",
 volume       = "205",
 number       = "11",
 pages        = "1608--1639",
 doi          = "10.1016/j.ic.2007.08.001",
)
@article(Feng2012,
 author       = "Yuan Feng and Runyao Duan and Mingsheng Ying",
 year         = "2012",
 title        = "{Bisimulation for Quantum Processes}",
 journal      = "ACM Transactions on Programming Languages and Systems",
 volume       = "34",
 number       = "4",
 pages        = "17:1--17:43",
 doi          = "10.1145/2400676.2400680",
)
@inproceedings(Gay2005,
 author       = "Simon J. Gay and Rajagopal Nagarajan",
 year         = "2005",
 title        = "{Communicating Quantum Processes}",
 booktitle    = "Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '05",
 publisher    = "ACM Press",
 address      = "New York, New York, USA",
 pages        = "145--157",
 doi          = "10.1145/1040305.1040318",
)
@incollection(Goubault-larrecq2007,
 author       = "Jean Goubault-larrecq and Catuscia Palamidessi and Angelo Troina",
 year         = "2007",
 title        = "{A Probabilistic Applied Pi-Calculus}",
 booktitle    = "Programming Languages and Systems",
 series       = "Lecture Notes in Computer Science",
 volume       = "4807",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "175--190",
 doi          = "10.1007/978-3-540-76637-7\_12",
)
@inproceedings(Jorrand2004,
 author       = "Philippe Jorrand and Marie Lalire",
 year         = "2004",
 title        = "{Toward a Quantum Process Algebra}",
 booktitle    = "Proceedings of the first conference on computing frontiers on Computing frontiers - CF'04",
 publisher    = "ACM Press",
 address      = "New York, New York, USA",
 pages        = "111--119",
 doi          = "10.1145/977091.977108",
)
@mastersthesis(Kubota2011,
 author       = "Takahiro Kubota",
 year         = "2011",
 title        = "{Formalization and Automation of Unconditional Security Proof of QKD}",
 type         = "Master's thesis",
 school       = "University of Tokyo",
)
@inproceedings(Kubota2012,
 author       = "Takahiro Kubota and Yoshihiko Kakutani and Go Kato and Yasuhito Kawano and Hideki Sakurada",
 year         = "2012",
 title        = "{Application of a Process Calculus to Security Proofs of Quantum Protocols}",
 booktitle    = "Proceedings of Foundations of Computer Science in WORLDCOMP",
 pages        = "141--147",
 url          = "http://worldcomp-proceedings.com/proc/p2012/FCS.html",
)
@article(Shor2000,
 author       = "Peter W. Shor and John Preskill",
 year         = "2000",
 title        = "{Simple Proof of Security of the BB84 Quantum Key Distribution Protocol}",
 journal      = "Physical Review Letters",
 volume       = "85",
 number       = "2",
 pages        = "441--444",
 doi          = "10.1103/PhysRevLett.85.441",
)
@article(Ying2009,
 author       = "Mingsheng Ying and Yuan Feng and Runyao Duan and Zhengfeng Ji",
 year         = "2009",
 title        = "{An Algebra of Quantum Processes}",
 journal      = "ACM Transactions on Computational Logic",
 volume       = "10",
 number       = "3",
 pages        = "19:1--19:36",
 doi          = "10.1145/1507244.1507249",
)