算礼：探索计算系统的可分析抽象

徐志伟; 王一帆; 赵永威; 李春典

doi:10.7544/issn1000-1239.2020.20200058

算礼：探索计算系统的可分析抽象

徐志伟, 王一帆, 赵永威, 李春典

文章导航 > 计算机研究与发展 > 2020 > 57(5): 897-905.

徐志伟, 王一帆, 赵永威, 李春典. 算礼：探索计算系统的可分析抽象[J]. 计算机研究与发展, 2020, 57(5): 897-905. doi: 10.7544/issn1000-1239.2020.20200058

引用本文:

徐志伟, 王一帆, 赵永威, 李春典. 算礼：探索计算系统的可分析抽象[J]. 计算机研究与发展, 2020, 57(5): 897-905. doi: 10.7544/issn1000-1239.2020.20200058

Xu Zhiwei, Wang Yifan, Zhao Yongwei, Li Chundian. Computation Protocols: Analyzable Abstractions for Computing Systems[J]. Journal of Computer Research and Development, 2020, 57(5): 897-905. doi: 10.7544/issn1000-1239.2020.20200058

Citation:

徐志伟, 王一帆, 赵永威, 李春典. 算礼：探索计算系统的可分析抽象[J]. 计算机研究与发展, 2020, 57(5): 897-905. doi: 10.7544/issn1000-1239.2020.20200058

引用本文:

徐志伟, 王一帆, 赵永威, 李春典. 算礼：探索计算系统的可分析抽象[J]. 计算机研究与发展, 2020, 57(5): 897-905. doi: 10.7544/issn1000-1239.2020.20200058

Citation:

摘要

HTML全文

参考文献(0)

施引文献

资源附件(0)

下载: 全尺寸图片幻灯片

返回文章

用微信扫码二维码

分享至好友和朋友圈