@inproceedings{82cdc522e71a48f88d6a0ea714de6d03,
title = "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.",
author = "Yuxin Deng and Yuan Feng",
year = "2012",
doi = "10.1007/978-3-642-33475-7\_9",
language = "英语",
isbn = "9783642334740",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "119--133",
booktitle = "Theoretical Computer Science - 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Proceedings",
note = "7th IFIP International Conference on Theoretical Computer Science, TCS 2012 ; Conference date: 26-09-2012 Through 28-09-2012",
}