A Process Algebraic Approach to Concurrent and Distributed Quantum Computation: Operational Semantics

Marie Lalire, Philippe Jorrand

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…