Bisimulation for quantum processes.

Yuan Feng, Runyao Duan, Mingsheng Ying

Browse the full POPL paper archive.