文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
A.J.M. van Gasteren
发表
Derivation of a termination detection algorithm for distributed computations
W. H. J. Feijen, Edsger W. Dijkstra, A.J.M. van Gasteren, 1986 .