%0 Conference Proceedings
%T Open Bisimulation for Quantum Processes
%+ Shanghai Jiao Tong University [Shanghai]
%+ Chinese Academy of Sciences [Beijing] (CAS)
%+ University of Technology Sydney (UTS)
%+ Tsinghua University [Beijing] (THU)
%A Deng, Yuxin
%A Feng, Yuan
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 7th International Conference on Theoretical Computer Science (TCS)
%C Amsterdam, Netherlands
%Y Jos C. M. Baeten
%Y Tom Ball
%Y Frank S. Boer
%I Springer
%3 Theoretical Computer Science
%V LNCS-7604
%P 119-133
%8 2012-09-26
%D 2012
%R 10.1007/978-3-642-33475-7_9
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%Z TC 1
%Z TC 2
%Z WG 2.2
%2 https://inria.hal.science/hal-01556225/document
%2 https://inria.hal.science/hal-01556225/file/978-3-642-33475-7_9_Chapter.pdf
%L hal-01556225
%U https://inria.hal.science/hal-01556225
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC1
%~ IFIP-TC2
%~ IFIP-TCS
%~ IFIP-WG2-2
%~ IFIP-LNCS-7604