@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",
)