Effect semantics for quantum process calculi
From MaRDI portal
Cites work
- Bisimulation through probabilistic testing
- Bisimulations for probabilistic and quantum processes (invited paper)
- Communicating quantum processes
- Exploring probabilistic bisimulations. I
- scientific article; zbMATH DE number 7204940 (Why is no real title available?)
- Open bisimulation for quantum processes
- Probabilistic process algebra to unifying quantum and classical computing in closed systems
- Probabilities, distribution monads, and convex categories
- Quantum computation and quantum information. 10th anniversary edition
- Quantum cryptography: public key distribution and coin tossing
- Quantum Markov chains
- Relating coalgebraic notions of bisimulation
- Relations among quantum processes: bisimilarity and congruence
- Symbolic bisimulation for quantum processes
- Symbolic bisimulations
- Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels
- The quantum monad on relational structures
- Toward automatic verification of quantum cryptographic protocols
- Unconditional security in quantum cryptography
Cited in
(2)
This page was built for publication: Effect semantics for quantum process calculi
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6859940)
