Congruence

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
引用 DOI URL
Probabilistic bisimulations for quantum processes
Modeling and reasoning about concurrent quantum systems is very important for both distributed quantum computing and quantum protocol …
引用 DOI URL