process calculi

Automated Equivalence Checking of Concurrent Quantum Systems

The novel field of quantum computation and quantum information has gathered significant momentum in the last few years. It has the potential to radically impact the future of information technology and influence the development of modern society. The …