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

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

Использование многоуровневых квантовых систем (кудитов) позволяет обобщить и
оптимизировать квантовые вычисления на основе кубитов. Томография таких систем …

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 …

This report presents the state of the art within theory and foundation of reversible
computations. The work was initiated by Working Group 1 of the COST Action IC 1405 on …