清华大学计算机系量子软件研究中心
清华大学计算机系量子软件研究中心
新闻动态
团队成员
学术活动
论文发表
Quantum Process
Probabilistic bisimulations for quantum processes
Modeling and reasoning about concurrent quantum systems is very important for both distributed quantum computing and quantum protocol …
Yuan Feng
,
Runyao Duan
,
Zhengfeng Ji
,
Mingsheng Ying
引用
DOI
URL
引用
×