Probabilistic Bisimulation

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