Quantum Process Algebra

Bisimulation for quantum processes

Quantum cryptographic systems have been commercially available, with a striking advantage over classical systems that their security …

Yuan Feng, Runyao Duan, Mingsheng Ying