TY  - RPRT
TI  - A probabilistic branching bisimulation for quantum processes
AU  - Marie Lalire
PY  - 2005
UR  - https://arxiv.org/abs/quant-ph/0508116
ID  - quant-ph/0508116
ER  -