A. Baltag & S. Smets (2005):
Complete Axiomatizations for Quantum Actions.
International Journal of Theoretical Physics 44(12),
doi:10.1007/s10773-005-8022-2.
A. Baltag & S. Smets (2006):
LQP: the dynamic logic of quantum information.
Mathematical Structures in Computer Science 16(3),
doi:10.1017/S0960129506005299.
A. Baltag & S. Smets (2008):
A Dynamic-Logical Perspective on Quantum Behavior.
Studia Logica 89(2),
doi:10.1007/s11225-008-9126-5.
C. H. Bennett & S. J. Wiesner (1992):
Communication via one- and two-particle operators on Einstein-Podolsky-Rosen states.
Physical Review Letters 69(20),
doi:10.1103/PhysRevLett.69.2881.
C. H. Bennett (1993):
Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels.
Physical Review Letters 70(13),
doi:10.1103/PhysRevLett.70.1895.
E. M. Clarke, Jr., O. Grumberg & D. A. Peled (1999):
Model Checking.
MIT Press.
V. Danos & E. D'Hondt (2008):
Classical Knowledge for Quantum Cryptographic Reasoning.
Electronic Notes in Theoretical Computer Science 192(3),
doi:10.1016/j.entcs.2008.10.026.
V. Danos, E. Kashefi & P. Panangaden (2007):
The Measurement Calculus.
J. ACM 54(2),
doi:10.1145/1219092.1219096.
V. Danos (2007):
Distributed Measurement-based Quantum Computation.
Electronic Notes in Theoretical Computer Science 170,
doi:10.1016/j.entcs.2006.12.012.
E. D'Hondt & P. Panangaden (2005):
Reasoning about quantum knowledge.
In: Proceedings of FSTTCS '05,
doi:10.1007/11590156_45.
E. D'Hondt & M. Sadrzadeh (2011):
Classical Knowledge for Quantum Security.
Electronic Notes in Theoretical Computer Science 270(1),
doi:10.1016/j.entcs.2011.01.014.
A. K. Ekert (1991):
Quantum cryptography based on Bell's theorem.
Physical Review Letters 67(6),
doi:10.1103/PhysRevLett.67.661.
M. Elboukhari, M. Azizi & A. Azizi (2010):
Analysis of the Security of BB84 by Model Checking.
IJNSA 2(2),
doi:10.5121/ijnsa.2010.2207.
R. Fagin (2003):
Reasoning About Knowledge.
MIT Press.
S. J. Gay, R. Nagarajan & N. Papanikolaou (2008):
QMC: A Model Checker for Quantum Systems.
In: Proceedings of CAV 2008,
doi:10.1007/978-3-540-70545-1_51.
M. Kwiatkowska, G. Norman & D. Parker (2004):
Probabilistic symbolic model checking with PRISM: a hybrid approach.
Int. J. Softw. Tools Technol. Transf. 6(2),
doi:10.1007/s10009-004-0140-2.
A. Lomuscio, H. Qu & F. Raimondi (2009):
MCMAS: a model checker for the verification of multi-agent systems.
In: Proceedings of CAV '09,
doi:10.1007/11691372_31.
R. van der Meyden & M. Patra (2003):
Knowledge in Quantum Systems.
In: Proc. of TARK '03,
doi:10.1145/846241.846257.
M. A. Nielsen & I. L. Chuang (2000):
Quantum Computation and Quantum Information.
Cambridge University Press.
M. Ying, Y. Li, N. Yu & Y. Feng (2010):
Model-Checking Linear-Time Properties of Quantum Systems.
http://arxiv.org/abs/1101.0303.