日前，智能技术与系统国家重点实验室量子计算与信息研究组的冯元、段润尧、应明生的合作论文Bisimulation for quantum processes被第38届ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages（POPL）接收。这也是POPL接收的第一篇署名作者来自中国大陆（包括香港和澳门）的论文。
冯元、段润尧和应明生合作提出了一种刻画量子进程等价性的互模拟关系，并证明了这一关系在各种进程构造符作用下的同余性。此项工作彻底解决了量子进程代数研究的最关键问题，对设计复杂量子协议的验证方法以及建立量子通信并发理论具有重大意义。
POPL是程序语言理论方面最好的国际会议，稿件录用率年平均不到20%。
