TERMINATION DETECTION OF DIFFUSING COMPUTATIONS IN COMMUNICATING SEQUENTIAL PROCESSES

被引：46
|
作者：
MISRA, J
CHANDY, KM
机构：
来源：
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1982年 / 4卷 / 01期
关键词：
D O I：
10.1145/357153.357156
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：37 / 43
页数：7
相关论文
共 50 条
12345