SYNCHRONIZATION OF ASYNCHRONOUS PROCESSES IN CSP

被引：24
作者：
BAGRODIA, R
机构：
来源：
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1989年 / 11卷 / 04期
关键词：
D O I：
10.1145/69558.69561
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：585 / 597
页数：13
相关论文
共 20 条
[1]   APPRAISING FAIRNESS IN LANGUAGES FOR DISTRIBUTED-PROGRAMMING [J].
APT, KR ;
FRANCEZ, N ;
KATZ, S .
DISTRIBUTED COMPUTING, 1988, 2 (04) :226-241
[2]   DISTRIBUTED COOPERATION WITH ACTION SYSTEMS [J].
BACK, RJR ;
KURKISUONIO, R .
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1988, 10 (04) :513-554
[3]   PROCESS SYNCHRONIZATION - DESIGN AND PERFORMANCE EVALUATION OF DISTRIBUTED ALGORITHMS [J].
BAGRODIA, R .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1989, 15 (09) :1053-1065
[4]  
BAGRODIA R, 1986, 6TH P INT C DISTR SY
[5]  
Bernstein A. J., 1980, ACM Transactions on Programming Languages and Systems, V2, P234, DOI 10.1145/357094.357101
[6]   AN EFFECTIVE IMPLEMENTATION FOR THE GENERALIZED INPUT OUTPUT CONSTRUCT OF CSP [J].
BUCKLEY, GN ;
SILBERSCHATZ, A .
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1983, 5 (02) :223-235
[7]  
CHANDY KM, 1988, PARALLEL PROGRAM DES
[8]  
DIJKSTRA EW, 1975, COMMUN ACM, V18, P453, DOI [10.1145/360933.360975, 10.1145/390016.808417]
[9]  
FORMAN IR, 1986, 1ST P INT C COMP LAN
[10]  
FRANCEZ N, 1986, SCI COMPUT PROGRAM, V6
12