Open bisimulation for quantum processes

DOI10.1007/978-3-642-33475-7_9MaRDI QIDQ2915165zbMATH OpenOpenAlexFDO

Authors Yuxin Deng, Yuan Feng

Publication date 21 September 2012

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1201.0416

Mathematics Subject Classification ID

Quantum computation (81P68) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

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 open bisimulation, by extending the Hennessy-Milner logic to a quantum setting.

Recommendations

• Symbolic bisimulation for quantum processes
• Bisimulations for probabilistic and quantum processes (invited paper)
• Probabilistic bisimulations for quantum processes
• An algebra of quantum processes
• Relations among quantum processes: bisimilarity and congruence

Cited in

(20)

• Branching bisimulation semantics for quantum processes
• Probabilistic operational correspondence
• Probabilistic bisimulations for quantum processes
• An axiomatization for quantum processes to unifying quantum and classical computing
• Entanglement in quantum process algebra
• Formal verification for KMB09 protocol
• Probabilistic process algebra to unifying quantum and classical computing in closed systems
• Verifying quantum communication protocols with ground bisimulation
• An algebra of quantum processes
• On well-founded and recursive coalgebras
• scientific article; zbMATH DE number 1829371 (Why is no real title available?)
• Effect semantics for quantum process calculi
• Semi-automated verification of security proofs of quantum cryptographic protocols
• Symbolic bisimulation for quantum processes
• Bisimulation for quantum processes
• Relations among quantum processes: bisimilarity and congruence
• Observational equivalence using schedulers for quantum processes
• Reconciling quantum theory and process equivalence via physically admissible schedulers
• Bisimulations for probabilistic and quantum processes (invited paper)
• Quantum process algebra with priorities

This page was built for publication: Open bisimulation for quantum processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2915165)