2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/217835We 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.Logic in Computer ScienceCategory Theorytext