Bisimulation for quantum processes
From MaRDI portal
Publication:5408571
DOI10.1145/1926385.1926446zbMath1284.68425arXiv1007.2584MaRDI QIDQ5408571
Ming Sheng Ying, Runyao Duan, Yuan Feng
Publication date: 10 April 2014
Published in: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1007.2584
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68Q12: Quantum algorithms and complexity in the theory of computing
81P94: Quantum cryptography (quantum-theoretic aspects)
Related Items
Techniques for Formal Modelling and Analysis of Quantum Systems, Symbolic Bisimulation for Quantum Processes, Semi-automated verification of security proofs of quantum cryptographic protocols, Quantum process algebra with priorities, Termination of nondeterministic quantum programs, Equational Reasoning About Quantum Protocols, Model-Checking Linear-Time Properties of Quantum Systems