ISSN 1000-1239 CN 11-1777/TP
算礼:探索计算系统的可分析抽象
徐志伟, 王一帆, 赵永威, 李春典
Computation Protocols: Analyzable Abstractions for Computing Systems
Xu Zhiwei, Wang Yifan, Zhao Yongwei, Li Chundian
计算机研究与发展 . 2020, (5): 897 -905 .  DOI: 10.7544/issn1000-1239.2020.20200058