quantum communication; quantum computing; quantum process algebra; bisimulation; congruence;
机译:概率和量子过程的双仿真(特邀论文)
机译:概率和量子过程的双仿真(特邀论文)
机译:量子过程的符号双仿真
机译:量子过程的开放式双仿真
机译:大图的基于Bisimulation的结构摘要。
机译:Occam的Quantum Strop:通过量子通道同步和压缩经典的加密过程
机译:量子过程的双模拟
机译:完全概率过程的弱互模拟