Reversible Quantum Process Algebra

TL;DR

This paper introduces reversible truly concurrent process algebras, APRTC and APPTC, to model quantum computing and unify it with classical computing, advancing the theoretical framework for quantum processes.

Contribution

It extends reversible and probabilistic process algebras to quantum computing, providing a unified algebraic framework for quantum and classical processes.

Findings

Modeling of quantum computing using APRTC and APPTC

Unification of quantum and classical computing processes

Advancement in reversible process algebra theory

Abstract

Truly concurrent process algebras are generalizations to the traditional process algebras for true concurrency, CTC to CCS, APTC to ACP, $\pi_{tc}$ to $\pi$ calculus , APPTC to probabilistic process algebra. And we also did some work on reversible process algebra and probabilistic truly concurrent process algebra. In this book, we utilize reversible truly concurrent process algebras APRTC and APPTC to model quantum computing and unify quantum and classical computing.