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.
Type de document :
Communication dans un congrès
Jos C. M. Baeten; Tom Ball; Frank S. Boer. 7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. Springer, Lecture Notes in Computer Science, LNCS-7604, pp.119-133, 2012, Theoretical Computer Science. 〈10.1007/978-3-642-33475-7_9〉
https://hal.inria.fr/hal-01556225
Contributeur : Hal Ifip
<>
Soumis le : mardi 4 juillet 2017 - 17:45:46
Dernière modification le : mardi 4 juillet 2017 - 17:47:02
Document(s) archivé(s) le : vendredi 15 décembre 2017 - 02:47:35
Yuxin Deng, Yuan Feng. Open Bisimulation for Quantum Processes. Jos C. M. Baeten; Tom Ball; Frank S. Boer. 7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. Springer, Lecture Notes in Computer Science, LNCS-7604, pp.119-133, 2012, Theoretical Computer Science. 〈10.1007/978-3-642-33475-7_9〉. 〈hal-01556225〉
