Centre for Quantum Computation and Intelligent Systems, University of Technology Sydney, Australia State Key Laboratory of Intelligent Technology and Systems, TNList, Department of Computer Science and Technology, Tsinghua University, Beijing, China;
Centre for Quantum Computation and Intelligent Systems, University of Technology Sydney, Australia State Key Laboratory of Intelligent Technology and Systems, TNList, Department of Computer Science and Technology, Tsinghua University, Beijing, China;
Centre for Quantum Computation and Intelligent Systems, University of Technology Sydney, Australia State Key Laboratory of Intelligent Technology and Systems, TNList, Department of Computer Science and Technology, Tsinghua University, Beijing, China;
quantum communication; quantum computing; quantum process algebra; bisimulation; congruence;
机译:概率和量子过程的双仿真(特邀论文)
机译:概率和量子过程的双仿真(特邀论文)
机译:量子过程的符号双仿真
机译:量子过程的开放式双仿真
机译:大图的基于Bisimulation的结构摘要。
机译:Occam的Quantum Strop:通过量子通道同步和压缩经典的加密过程
机译:量子过程的双模拟
机译:完全概率过程的弱互模拟