清华大学计算机系量子软件研究中心
清华大学计算机系量子软件研究中心
新闻动态
团队成员
学术活动
论文发表
Quantum Communication
Control Flow Adaption: An Efficient Simulation Method for Noisy Quantum Networks
Huiping Lin
,
Ruixuan Deng
,
Chris Z. Yao
,
Zhengfeng Ji
,
Mingsheng Ying
引用
DOI
Quantum Information-Flow Security: Noninterference and Access Control
Mingsheng Ying
,
Yuan Feng
,
Nengkun Yu
引用
DOI
Bisimulation for quantum processes
Quantum cryptographic systems have been commercially available, with a striking advantage over classical systems that their security …
Yuan Feng
,
Runyao Duan
,
Mingsheng Ying
引用
DOI
URL
An algebra of quantum processes
We introduce an algebra qCCS of pure quantum processes in which communications by moving quantum states physically are allowed and …
Mingsheng Ying
,
Yuan Feng
,
Runyao Duan
,
Zhengfeng Ji
引用
DOI
URL
引用
×