Quantum entanglement analysis based on abstract interpretation

Simon Perdrix

Entanglement is a non local property of quantum states which has no classical counterpart and plays a decisive role in quantum information theory. Several protocols, like the telep…