A probabilistic branching bisimulation for quantum processes

Marie Lalire

Full formal descriptions of algorithms making use of quantum principles must take into account both quantum and classical computing components and assemble them so that they commun…