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.

References in corpus (1)

• The compositional construction of Markov processes

Cited by in corpus (1)

• Cospans and spans of graphs: a categorical algebra for the sequential and parallel composition of discrete systems