Open Bisimulation for Quantum Processes

Publication Type:
Journal Article
Full metadata record
Files in This Item:
Filename Description Size
1201.0416v1.pdfSubmitted Version294.54 kB
Adobe PDF
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 open bisimulation, by extending the Hennessy-Milner logic to a quantum setting.
Please use this identifier to cite or link to this item: