Symbolic Bisimulation for Quantum Processes
From MaRDI portal
Publication:5169970
DOI10.1145/2579818zbMath1291.68237arXiv1202.3484OpenAlexW2044210134MaRDI QIDQ5169970
Ming Sheng Ying, Yu-xin Deng, Yuan Feng
Publication date: 17 July 2014
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1202.3484
Quantum computation (81P68) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (6)
SMT-based generation of symbolic automata ⋮ Compositional equivalences based on open pNets ⋮ On well-founded and recursive coalgebras ⋮ Unnamed Item ⋮ Verifying quantum communication protocols with ground bisimulation ⋮ Correctness checking of a quantum protocol for reliable communications via feedback
Uses Software
Cites Work
- Model checking quantum Markov chains
- Quantum cryptography: public key distribution and coin tossing
- Semi-automated verification of security proofs of quantum cryptographic protocols
- Symbolic bisimulations
- States, effects, and operations. Fundamental notions of quantum theory. Lectures in mathematical physics at the University of Texas at Austin. Ed. by A. Böhm, J. D. Dollard and W. H. Wootters
- Symbolic model checking: \(10^{20}\) states and beyond
- A theory of communicating processes with value passing
- A theory of bisimulation for the \(\pi\)-calculus
- Probabilistic bisimulations for quantum processes
- Open Bisimulation for Quantum Processes
- An algebra of quantum processes
- Communication via one- and two-particle operators on Einstein-Podolsky-Rosen states
- Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels
- Communicating quantum processes
- Bisimulation for quantum processes
- Relations among quantum processes: bisimilarity and congruence
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Symbolic Bisimulation for Quantum Processes