S. Aaronson
D. Gottesman
2004
Improved Simulation of Stabilizer Circuits
Physical Review A
70
52328
10.1103/PhysRevA.70.052328
T. A. S. Davidson
2011
Formal Verification Techniques using Quantum Process Calculus
University of Warwick
Y. Feng
R. Duan
Z. Ji
M. Ying
2006
Probabilistic bisimilarities between quantum processes
http://www.arxiv.org/abs/cs.LO/0601014
Y. Feng
R. Duan
M. Ying
2011
Bisimulation for quantum processes
Proceedings of the 38th Annual ACM Symposium on Principles of Programming Languages
ACM
523–534
10.1145/1926385.1926446
S. J. Gay
R. Nagarajan
2005
Communicating Quantum Processes
Proceedings of the 32nd Annual ACM Symposium on Principles of Programming Languages
ACM
145–157
10.1145/1040305.1040318
S. J. Gay
R. Nagarajan
2006
Types and Typechecking for Communicating Quantum Processes
Mathematical Structures in Computer Science
16
3
375–406
10.1017/S0960129506005263
S. J. Gay
N. Papanikolaou
R. Nagarajan
2008
QMC: a model checker for quantum systems
CAV 2008: Proceedings of the 20th International Conference on Computer Aided Verification
Lecture Notes in Computer Science
5123
Springer
543–547
10.1007/978-3-540-70545-1_51
http://arxiv.org/abs/0704.3705
S. J. Gay
N. Papanikolaou
R. Nagarajan
2010
Specification and verification of quantum protocols
Semantic Techniques in Quantum Computation
Cambridge University Press
414–472
R. J. van Glabbeek
W. P. Weijland
1996
Branching time and abstraction in bisimulation semantics
Journal of the ACM
43
3
555–600
10.1145/233551.233556
M. Lalire
2006
Relations among quantum processes: bisimilarity and congruence
Mathematical Structures in Computer Science
16
3
407–428
10.1017/S096012950600524X
http://arxiv.org/abs/quant-ph/0603274
R. Milner
1989
Communication and Concurrency
Prentice-Hall
R. Milner
1999
Communicating and Mobile Systems: the Pi-Calculus
Cambridge University Press
R. Milner
J. Parrow
D. Walker
1992
A calculus of mobile processes, I
Information and Computation
100
1
1–40
10.1016/0890-5401(92)90008-4
M. A. Nielsen
I. L. Chuang
2000
Quantum Computation and Quantum Information
Cambridge University Press
D. Sangiorgi
D. Walker
2001
The π-calculus: a Theory of Mobile Processes
Cambridge University Press
N. Trčka
S. Georgievska
2008
Branching Bisimulation Congruence for Probabilistic Systems
Electronic Notes in Theoretical Computer Science
220
3
129 – 143
10.1016/j.entcs.2008.11.023
M. Ying
Y. Feng
R. Duan
Z. Ji
2009
An Algebra of Quantum Processes
ACM Transactions on Computational Logic
10
3
1–36
10.1145/1507244.1507249