We present a programming language for describing and analysing concurrent quantum systems. We have an interpreter for programs in the language, using a symbolic rather than a numeric calculator, and we give its performance on examples from quantum communication and cryptography
Quantum communication and cryptographic protocols are well on the way to becoming an important pract...
Quantum cryptographic systems have been commercially available, with a striking advantage over class...
Quantum processes describe concurrent communicating systems that may involve quantum information. We...
We present a programming language for describing and analysing concurrent quantum systems. We have a...
We define a language CQP (Communicating Quantum Processes) for modelling systems which combine quant...
The novel field of quantum computation and quantum information has gathered significant momentum in ...
Abstract. We present a tool which uses a concurrent language for de-scribing quantum systems, and pe...
AbstractThis work develops a formal framework for specifying, implementing, and analysing quantum co...
Quantum computers promise surprising powers of computation by exploiting the stunning physical prope...
Formal methods is an area in theoretical computer science that provides the theories and tools for d...
We present a tool which uses a concurrent language for describing quantum systems, and performs veri...
Quantum communication and cryptographic protocols are well on the way to becoming an important pract...
We define a language CQP (Communicating Quantum Processes) for modelling systems which combine quant...
Communicating Quantum Processes (CQP) is a quantum process calculus that applies formal techniques f...
AbstractWe present a process algebra for specifying and reasoning about quantum security protocols. ...
Quantum communication and cryptographic protocols are well on the way to becoming an important pract...
Quantum cryptographic systems have been commercially available, with a striking advantage over class...
Quantum processes describe concurrent communicating systems that may involve quantum information. We...
We present a programming language for describing and analysing concurrent quantum systems. We have a...
We define a language CQP (Communicating Quantum Processes) for modelling systems which combine quant...
The novel field of quantum computation and quantum information has gathered significant momentum in ...
Abstract. We present a tool which uses a concurrent language for de-scribing quantum systems, and pe...
AbstractThis work develops a formal framework for specifying, implementing, and analysing quantum co...
Quantum computers promise surprising powers of computation by exploiting the stunning physical prope...
Formal methods is an area in theoretical computer science that provides the theories and tools for d...
We present a tool which uses a concurrent language for describing quantum systems, and performs veri...
Quantum communication and cryptographic protocols are well on the way to becoming an important pract...
We define a language CQP (Communicating Quantum Processes) for modelling systems which combine quant...
Communicating Quantum Processes (CQP) is a quantum process calculus that applies formal techniques f...
AbstractWe present a process algebra for specifying and reasoning about quantum security protocols. ...
Quantum communication and cryptographic protocols are well on the way to becoming an important pract...
Quantum cryptographic systems have been commercially available, with a striking advantage over class...
Quantum processes describe concurrent communicating systems that may involve quantum information. We...
DOI
Add to ORKG