TY - RPRT TI - Relations among quantum processes: bisimilarity and congruence AU - Marie Lalire PY - 2006 UR - https://arxiv.org/abs/quant-ph/0603274 ID - quant-ph/0603274 ER -