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 条

[41] A graphical tool for the visualization and animation of communicating sequential processes
Abdallah, AE
EURO-PAR '98 PARALLEL PROCESSING, 1998, 1470 : 165 - 172
[42] CSP-I - AN IMPLEMENTATION OF COMMUNICATING SEQUENTIAL PROCESSES
WRENCH, KL
SOFTWARE-PRACTICE & EXPERIENCE, 1988, 18 (06): : 545 - 560
[43] A Weight Throwing and Diffusing Computation Based Approach for Termination Detection in MANETs
Mishra, Richa
Saini, Poonam
2016 FOURTH INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED AND GRID COMPUTING (PDGC), 2016, : 50 - 55
[44] Program-Transforms for Termination Detection in Distributed Computations.
Zoebel, Dieter
Informationstechnik it: Computer, Systeme, Anwendungen, 1986, 28 (04): : 204 - 213
[45] COMMENTS ON RING BASED TERMINATION DETECTION ALGORITHM FOR DISTRIBUTED COMPUTATIONS
TEL, G
MATTERN, F
INFORMATION PROCESSING LETTERS, 1989, 31 (03) : 127 - 128
[46] Termination detection in data-driven parallel computations/applications
Khokhar, AA
Hambrusch, SE
Kocalar, E
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2003, 63 (03) : 312 - 326
[47] A GENERALIZED MESSAGE-PASSING MECHANISM FOR COMMUNICATING SEQUENTIAL PROCESSES
LENDERS, PM
IEEE TRANSACTIONS ON COMPUTERS, 1988, 37 (06) : 646 - 651
[48] ON THE EXISTENCE OF GENERIC BROADCAST ALGORITHMS IN NETWORKS OF COMMUNICATING SEQUENTIAL PROCESSES
BOUGE, L
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 312 : 388 - 407
[49] DENOTATIONAL SEMANTICS OF PROGRAM SCHEMAS FOR LANGUAGES FOR COMMUNICATING SEQUENTIAL PROCESSES
KORABLIN, YP
NALITOV, SD
PROGRAMMING AND COMPUTER SOFTWARE, 1993, 19 (03) : 118 - 128
[50] 2 COMPLETE AXIOM SYSTEMS FOR A THEORY OF COMMUNICATING SEQUENTIAL PROCESSES
DENICOLA, R
INFORMATION AND CONTROL, 1985, 64 (1-3): : 136 - 172

← 1 2 3 4 5 →