Publication:3560846
From MaRDI portal
zbMath1196.68135MaRDI QIDQ3560846
Rajagopal Nagarajan, Simon J. Gay, Nikolaos I. Papanikolaou
Publication date: 14 May 2010
81P68: Quantum computation
68Q60: Specification and verification (program logics, model checking, etc.)
81P45: Quantum information, communication, networks (quantum-theoretic aspects)
81P94: Quantum cryptography (quantum-theoretic aspects)
Related Items
Unnamed Item, Unnamed Item, Techniques for Formal Modelling and Analysis of Quantum Systems, Symbolic Bisimulation for Quantum Processes, Model Checking Omega-regular Properties for Quantum Markov Chains, The modeling library of eavesdropping methods in quantum cryptography protocols by model checking, Measuring the constrained reachability in quantum Markov chains, Model checking for entanglement swapping, Fibring as biporting subsumes asymmetric combinations, Classical Knowledge for Quantum Security, Model-Checking Linear-Time Properties of Quantum Systems, Towards Quantum Programs Verification: From Quipper Circuits to QPMC