Y. Feng, R. Duan & M. Ying (2011):
Bisimulation for quantum processes.
In: Proceedings of the 38th Annual ACM Symposium on Principles of Programming Languages.
ACM,
pp. 523–534,
doi:10.1145/1926385.1926446.
S. J. Gay & R. Nagarajan (2005):
Communicating Quantum Processes.
In: Proceedings of the 32nd Annual ACM Symposium on Principles of Programming Languages.
ACM,
pp. 145–157,
doi:10.1145/1040305.1040318.
S. J. Gay & R. Nagarajan (2006):
Types and Typechecking for Communicating Quantum Processes.
Mathematical Structures in Computer Science 16(3),
pp. 375–406,
doi:10.1017/S0960129506005263.
S. J. Gay, N. Papanikolaou & R. Nagarajan (2008):
QMC: a model checker for quantum systems.
In: CAV 2008: Proceedings of the 20th International Conference on Computer Aided Verification,
Lecture Notes in Computer Science 5123.
Springer,
pp. 543–547,
doi:10.1007/978-3-540-70545-1_51.
Available at http://arxiv.org/abs/0704.3705.
S. J. Gay, N. Papanikolaou & R. Nagarajan (2010):
Specification and verification of quantum protocols.
In: Semantic Techniques in Quantum Computation.
Cambridge University Press,
pp. 414–472.
R. J. van Glabbeek & W. P. Weijland (1996):
Branching time and abstraction in bisimulation semantics.
Journal of the ACM 43(3),
pp. 555–600,
doi:10.1145/233551.233556.
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),
pp. 1–40,
doi: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),
pp. 129 – 143,
doi: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),
pp. 1–36,
doi:10.1145/1507244.1507249.