We　establish　an　axiomatization　for　quantum　processes,　which　is　a　quantum　generalization　of　process　algebra　ACP　(Algebra　of　Communicating　Processes).　We　use　the　framework　of　a　quantum　process　configuration　＜　p,　rho　&　rang;,　but　we　treat　it　as　two　relative　independent　part:　the　structural　part　p　and　the　quantum　part　rho,　because　the　establishment　of　a　sound　and　complete　theory　is　dependent　on　the　structural　properties　of　the　structural　part　p.　We　let　the　quantum　part　rho　be　the　outcomes　of　execution　of　p　to　examine　and　observe　the　function　of　the　basic　theory　of　quantum　mechanics.　We　establish　not　only　a　strong　bisimilarity　for　quantum　processes,　but　also　a　weak　bisimilarity　to　model　the　silent　step　and　abstract　internal　computations　in　quantum　processes.　The　relationship　between　quantum　bisimilarity　and　classical　bisimilarity　is　established,　which　makes　an　axiomatization　of　quantum　processes　possible.　An　axiomatization　for　quantum　processes　called　qACP　is　designed,　which　involves　not　only　quantum　information,　but　also　classical　information　and　unifies　quantum　computing　and　classical　computing.　qACP　can　be　used　easily　and　widely　for　verification　of　most　quantum　communication　protocols.