Verifying quantum communication protocols with ground bisimulation
DOI10.1007/978-3-030-45237-7_2zbMATH Open1473.68115OpenAlexW3016663929MaRDI QIDQ2233434FDOQ2233434
Authors: Xudong Qin, Wenjie Du, Yuxin Deng 
Publication date: 18 October 2021
Full work available at URL: https://doi.org/10.1007/978-3-030-45237-7_2
Recommendations
Quantum algorithms and complexity in the theory of computing (68Q12) Quantum computation (81P68) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Title not available (Why is that?)
- A theory of bisimulation for the \(\pi\)-calculus
- An algebra of quantum processes
- Automated equivalence checking of concurrent quantum systems
- Bisimulation for quantum processes
- Communicating quantum processes
- Deciding bisimilarity and similarity for probabilistic processes.
- Open bisimulation for quantum processes
- Polynomial time decision algorithms for probabilistic automata
- Probabilistic bisimulations for quantum processes
- Quantum cryptography: public key distribution and coin tossing
- Relations among quantum processes: bisimilarity and congruence
- Semi-automated verification of security proofs of quantum cryptographic protocols
- Symbolic bisimulation for quantum processes
- Symbolic bisimulations
- Towards a quantum programming language
Cited In (15)
- Branching bisimulation semantics for quantum processes
- Correctness checking of a quantum protocol for reliable communications via feedback
- Equivalence checking of quantum protocols
- Analysis of a quantum error correcting code using quantum process calculus
- Types and typechecking for Communicating Quantum Processes
- Formalization \textit{of} quantum protocols using Coq
- Toward automatic verification of quantum cryptographic protocols
- Specification and verification of quantum protocols
- An axiomatization for quantum processes to unifying quantum and classical computing
- Formal verification for KMB09 protocol
- Equational reasoning about quantum protocols
- Automated verification of quantum protocols using \textsc{mcmas}
- Application of quantum process calculus to higher dimensional quantum protocols
- Bisimulation for quantum processes
- Automated equivalence checking of concurrent quantum systems
This page was built for publication: Verifying quantum communication protocols with ground bisimulation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2233434)
