Open Bisimulation

Symbolic Bisimulation for Quantum Processes
With the previous notions of bisimulation presented in the literature, to check if two quantum processes are bisimilar, we have to …
Yuan Feng, Yuxin Deng, Mingsheng Ying
引用 DOI URL