An algebra of automata which includes both classical and quantum entities
arXiv:0901.4754
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.