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.
- Publication:
-
arXiv e-prints
- Pub Date:
- January 2009
- DOI:
- 10.48550/arXiv.0901.4754
- arXiv:
- arXiv:0901.4754
- Bibcode:
- 2009arXiv0901.4754A
- Keywords:
-
- Computer Science - Logic in Computer Science;
- Mathematics - Category Theory