An Algebra of Automata That Includes Both Classical and Quantum Entities

We describe an algebra for composing automata which includes both classical and quantum entities. We illustrate by describing in detail a quantum protocol.