Skip to Main content Skip to Navigation
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [30 references]  Display  Hide  Download

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

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

Identifiers

Citation

Yuxin Deng, Yuan Feng. Open Bisimulation for Quantum Processes. 7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.119-133, ⟨10.1007/978-3-642-33475-7_9⟩. ⟨hal-01556225⟩

Share

Metrics

Record views

105

Files downloads

225