Testing Quantum Processes (ciclo LiMoSP)

The recent development of quantum communication protocols calls for adequate modelling and verification techniques, which require abstracting and focusing on the basic features of quantum concurrent systems. Several quantum process calculi and behavioural equivalences have been proposed to address this problem, but they are often incompatible with the prescriptions of quantum theory. In this seminar we show how to directly model these observational limitations by resorting to testing equivalence for a quantum capable version of CCS, building on the concrete actions and experiments that a real tester can perform.