Abstract : Quantum processes describe concurrent communicating systems that may involve quantum information. We propose a notion of open bisimulation for quantum processes and show that it provides both a sound and complete proof methodology for a natural extensional behavioural equivalence between quantum processes. We also give a modal characterisation of the behavioural equivalence, by extending the Hennessy-Milner logic to a quantum setting.
https://hal.inria.fr/hal-01556225
Contributor : Hal Ifip <>
Submitted on : Tuesday, July 4, 2017 - 5:45:46 PM Last modification on : Monday, March 11, 2019 - 11:14:03 AM Long-term archiving on: : Friday, December 15, 2017 - 2:47:35 AM