Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Communication and concurrency
An introduction to quantum computing for non-physicists
ACM Computing Surveys (CSUR)
A process algebra for probabilistic and nondeterministic processes
Information Processing Letters
Quantum computation and quantum information
Quantum computation and quantum information
Towards a quantum programming language
Mathematical Structures in Computer Science
Quantum programming languages: survey and bibliography
Mathematical Structures in Computer Science
Classically controlled quantum computation
Mathematical Structures in Computer Science
Journal of the ACM (JACM)
Probabilistic bisimulations for quantum processes
Information and Computation
An algebra of quantum processes
ACM Transactions on Computational Logic (TOCL)
Distributed Quantum Programming
UC '09 Proceedings of the 8th International Conference on Unconventional Computation
Programming with Quantum Communication
Electronic Notes in Theoretical Computer Science (ENTCS)
Classically-controlled Quantum Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
Reasoning About Imperative Quantum Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Bisimulation for quantum processes
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Foundations of quantum programming
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
Floyd--hoare logic for quantum programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Quantum predicative programming
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
Bisimulation for Quantum Processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Reachability and termination analysis of concurrent quantum programs
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Open bisimulation for quantum processes
TCS'12 Proceedings of the 7th IFIP TC 1/WG 202 international conference on Theoretical Computer Science
Quantum process calculus for linear optical quantum computing
RC'13 Proceedings of the 5th international conference on Reversible Computation
Reachability probabilities of quantum markov chains
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
| Hi-index | 0.00 |
Quantum computations operate in the quantum world. For their results to be useful in any way, there is an intrinsic necessity of cooperation and communication controlled by the classical world. As a consequence, full formal descriptions of algorithms making use of quantum principles must take into account both quantum and classical computing components and assemble them so that they communicate and cooperate. This paper aims at defining a high level language allowing the description of classical and quantum programming, and their cooperation. Since process algebras provide a framework to model cooperating computations and have well defined semantics, they have been chosen as a basis for this language. Starting with a classical process algebra, this paper explains how to transform it for including quantum computation. The result is a quantum process algebra with its operational semantics, which can be used to fully describe quantum algorithms in their classical context.