A Process Algebraic Approach to Concurrent and Distributed Quantum Computation: Operational Semantics