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.
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〉
Liste complète des métadonnées

Littérature citée [30 références]  Voir  Masquer  Télécharger

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

Fichier

978-3-642-33475-7_9_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

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〉

Partager

Métriques

Consultations de la notice

40

Téléchargements de fichiers

45