并行量子程序设计模型和理论的研究论文
收藏国家基础学科公共科学数据中心2024-03-05 收录
下载链接：
https://www.nbsdc.cn/general/dataDetail?id=64edc68ebb16e07753c344e1&type=1
下载链接
链接失效反馈官方服务：
资源简介：
并行量子程序设计模型和理论的研究论文数据集包含题为A proof system for disjoint parallel quantum programs的论文。该论文定义了不相交并行量子程序的操作语义和指称语义，提出了一个用于验证此类量子程序正确性的证明系统，并证明了该系统的相对完备性。
提供机构：
中国科学院软件研究所
