@article(aaronson,
 author       = "S. Aaronson and D. Gottesman",
 year         = "2004",
 title        = "Improved Simulation of Stabilizer Circuits",
 journal      = "Physical Review A",
 volume       = "70",
 pages        = "52328",
 doi          = "10.1103/PhysRevA.70.052328",
)
@phdthesis(DavidsonThesis,
 author       = "T. A. S. Davidson",
 year         = "2011",
 title        = "Formal Verification Techniques using Quantum Process Calculus",
 school       = "University of Warwick",
)
@misc(Feng2006,
 author       = "Y. Feng and R. Duan and Z. Ji and M. Ying",
 year         = "2006",
 title        = "Probabilistic bisimilarities between quantum processes",
 url          = "http://www.arxiv.org/abs/cs.LO/0601014",
)
@inproceedings(Feng2011,
 author       = "Y. Feng and R. Duan and M. 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(Gay2005,
 author       = "S. J. Gay and R. 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       = "S. J. Gay and R. 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",
)
@inproceedings(Gay2008,
 author       = "S. J. Gay and N. Papanikolaou and R. Nagarajan",
 year         = "2008",
 title        = "Q{MC}: a model checker for quantum systems",
 booktitle    = "CAV 2008: Proceedings of the 20th International Conference on Computer Aided Verification",
 series       = "Lecture Notes in Computer Science",
 volume       = "5123",
 publisher    = "Springer",
 pages        = "543--547",
 doi          = "10.1007/978-3-540-70545-1\_51",
 url          = "http://arxiv.org/abs/0704.3705",
)
@incollection(Gay2010a,
 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",
 pages        = "414--472",
)
@article(Glabbeek1996,
 author       = "R. J. van Glabbeek and W. P. 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",
)
@article(Lalire2006,
 author       = "M. 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       = "R. Milner",
 year         = "1989",
 title        = "Communication and {C}oncurrency",
 publisher    = "Prentice-Hall",
)
@book(Milner1999,
 author       = "R. Milner",
 year         = "1999",
 title        = "Communicating and Mobile Systems: the Pi-Calculus",
 publisher    = "Cambridge University Press",
)
@article(Milner1992,
 author       = "R. Milner and J. Parrow and D. 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",
)
@book(Nielsen2000,
 author       = "M. A. Nielsen and I. L. Chuang",
 year         = "2000",
 title        = "Quantum Computation and Quantum Information",
 publisher    = "Cambridge University Press",
)
@book(Sangiorgi2001,
 author       = "D. Sangiorgi and D. Walker",
 year         = "2001",
 title        = "The {$\pi $}-calculus: a Theory of Mobile Processes",
 publisher    = "Cambridge University Press",
)
@article(Trcka2008,
 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(Ying2009,
 author       = "M. Ying and Y. Feng and R. Duan and Z. Ji",
 year         = "2009",
 title        = "An Algebra of Quantum Processes",
 journal      = "ACM Transactions on Computational Logic",
 volume       = "10",
 number       = "3",
 pages        = "1--36",
 doi          = "10.1145/1507244.1507249",
)