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. © 2012 IFIP International Federation for Information Processing.
Cite
CITATION STYLE
Deng, Y., & Feng, Y. (2012). Open bisimulation for quantum processes. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7604 LNCS, pp. 119–133). https://doi.org/10.1007/978-3-642-33475-7_9
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
