TERMINATION DETECTION FOR DIFFUSING COMPUTATIONS

被引:329
作者
DIJKSTRA, EW [1 ]
SCHOLTEN, CS [1 ]
机构
[1] PHILIPS RES LABS,NL-5656 AA EINDHOVEN,NETHERLANDS
关键词
D O I
10.1016/0020-0190(80)90021-6
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:1 / 4
页数:4
相关论文
empty
未找到相关数据