TY  - RPRT
TI  - Formal Analysis of Quantum Systems using Process Calculus
AU  - Timothy A. S. Davidson
AU  - Simon J. Gay
AU  - Rajagopal Nagarajan
PY  - 2011
DO  - 10.4204/eptcs.59.9
UR  - https://arxiv.org/abs/1108.0469
ID  - 1108.0469
ER  -