Relations among quantum processes: bisimilarity and congruence

Marie Lalire

Full formal descriptions of algorithms making use of quantum principles must take into account both quantum and classical computing components, as well as communications between th…