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 条
  • [21] DISTRIBUTED TERMINATION DETECTION ALGORITHM FOR DISTRIBUTED COMPUTATIONS
    ARORA, RK
    RANA, SP
    GUPTA, MN
    INFORMATION PROCESSING LETTERS, 1986, 22 (06) : 311 - 314
  • [22] THE COMPLEXITY OF PROBLEMS IN SYSTEMS OF COMMUNICATING SEQUENTIAL PROCESSES
    LADNER, RE
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1980, 21 (02) : 179 - 194
  • [23] Communicating sequential processes for distributed constraint satisfaction
    Sakellariou, I
    Vlahavas, I
    Futo, I
    Pasztor, Z
    Szeredi, J
    INFORMATION SCIENCES, 2006, 176 (05) : 490 - 521
  • [24] RELATIONAL SEMANTICS OF STRONGLY COMMUNICATING SEQUENTIAL PROCESSES
    GUERREIRO, P
    LECTURE NOTES IN COMPUTER SCIENCE, 1981, 107 : 310 - 326
  • [25] UNDECIDABILITY RESULTS FOR DETERMINISTIC COMMUNICATING SEQUENTIAL PROCESSES
    CIESLAK, RA
    VARAIYA, P
    PROCEEDINGS OF THE 28TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-3, 1989, : 2701 - 2707
  • [26] A singleton failures semantics for Communicating Sequential Processes
    Bolton, Christie
    Davies, Jim
    FORMAL ASPECTS OF COMPUTING, 2006, 18 (02) : 181 - 210
  • [27] A PROOF SYSTEM FOR COMMUNICATING SEQUENTIAL PROCESSES - COMMENT
    MOITRA, A
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1983, 5 (03): : 500 - 501
  • [28] UNDECIDABILITY RESULTS FOR DETERMINISTIC COMMUNICATING SEQUENTIAL PROCESSES
    CIESLAK, RA
    VARAIYA, PP
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1990, 35 (09) : 1032 - 1039
  • [29] Transforming Communicating Sequential Processes to Petri Nets
    Llorens, M.
    Oliver, J.
    Silva, J.
    Tamarit, S.
    PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON ENGINEERING COMPUTATIONAL TECHNOLOGY, 2010, 94
  • [30] PyCSP - Communicating Sequential Processes for Python']Python
    Bjorndalen, John Markus
    Vinter, Brian
    Anshus, Otto
    WOTUG-30: COMMUNICATING PROCESS ARCHITECTURES 2007, 2007, 65 : 229 - +
12345