  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.
