Quantum computers promise dramatic advantages in processing speed over currently
available computer systems. Quantum computing offers great promise in a wide variety of …

Quantum computing systems promise to increase the capabilities for solving problems which
classical computers cannot handle adequately, such as integers factorization. In this paper …

Quantum based systems are a relatively new research area for that different modelling
languages including process calculi are currently under development. Encodings are often …

We explain the use of quantum process calculus to describe and analyse linear optical
quantum computing (LOQC). The main idea is to define two processes, one modelling a …

In this paper, we introduce the idea of hierarchical verification for quantum circuits, where we
use a powerful language, higher-order logic, to reason about quantum circuits formally. We …

At the beginning of the last century, the theory of quantum optics arose and led to a
revolution in physics, since it allowed the interpretation of many unknown phenomena and …

Optics technology is being increasingly used in mainstream industrial and research domains
such as terrestrial telescopes, biomedical imaging and optical communication. One of the …

Quantum technologies have progressed beyond the laboratory setting and are beginning to
make an impact on industrial development. The construction of practical, general purpose …

Formal methods is an area in theoretical computer science that provides the theories and
tools for describing and verifying the correctness of computing systems. Usually, such …

Abstract Communicating Quantum Processes (CQP) is a quantum process calculus that
applies formal techniques from classical computer science to concurrent and communicating …