Open Bisimulation for Quantum Processes
From MaRDI portal
Publication:2915165
DOI10.1007/978-3-642-33475-7_9zbMath1362.68210arXiv1201.0416OpenAlexW1686392640MaRDI QIDQ2915165
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
Quantum computation (81P68) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (10)
On well-founded and recursive coalgebras ⋮ Quantum process algebra with priorities ⋮ Unnamed Item ⋮ Semi-automated verification of security proofs of quantum cryptographic protocols ⋮ Verifying quantum communication protocols with ground bisimulation ⋮ Symbolic Bisimulation for Quantum Processes ⋮ An axiomatization for quantum processes to unifying quantum and classical computing ⋮ Probabilistic process algebra to unifying quantum and classical computing in closed systems ⋮ Entanglement in quantum process algebra ⋮ Formal verification for KMB09 protocol
This page was built for publication: Open Bisimulation for Quantum Processes
