| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Open Bisimulation for Quantum Processes
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.
Cited literature [30 references]
https://hal.inria.fr/hal-01556225
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Tuesday, July 4, 2017 - 5:45:46 PM
Last modification on : Tuesday, October 19, 2021 - 11:01:54 AM
Long-term archiving on: : Friday, December 15, 2017 - 2:47:35 AM
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Tuesday, July 4, 2017 - 5:45:46 PM
Last modification on : Tuesday, October 19, 2021 - 11:01:54 AM
Long-term archiving on: : Friday, December 15, 2017 - 2:47:35 AM
File
978-3-642-33475-7_9_Chapter.pd...
Files produced by the author(s)
Licence
Distributed under a Creative Commons Attribution 4.0 International License