kleene algebra

An Algebraic Language for Specifying Quantum Networks
Quantum networks connect quantum capable nodes in order to achieve capabilities that are impossible only using classical information. …
Anita Buckley, Pavel Chuprikov, Rodrigo Otoni, Robert Rand, Robert Soulé, Patrick Eugster
Cite
Towards an Algebraic Specification of Quantum Networks
The main attributes of quantum networks are the utilization of quantum phenomena, security guarantees, and availability of their main …
Anita Buckley, Pavel Chuprikov, Rodrigo Otoni, Robert Rand, Robert Soulé, Patrick Eugster
PDF Cite DOI URL