An algebra of automata which includes both classical and quantum entities

Abstract

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