机构名称：
¥ 1.0
在本研究中，我们通过过程代数阐述了量子系统的通信过程。我们研究工作的主要目标是正式表示分布式量子系统之间的通信。在这个新提出的通信模型中，我们改进了 Lalire 量子过程代数 QPAlg 的现有规则。我们通过引入正式指定量子隐形传态协议的概念，对 QPAlg 进行了一些重要修改。我们进一步通过使用最能解释其工作原理并满足规范的程序引入了协议的正式描述。我们提供了示例来描述改进代数的工作原理，该代数正式解释了经典数据和量子数据的发送和接收，同时牢记量子力学的主要特征。
扩展的量子过程代数 (eqpalg ... - arXiv
主要关键词
相关文件推荐
