  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.In this book, we utilize
truly concurrent process algebras APTC and APPTC to model quantum computing and
unify quantum and classical computing.
