DISTRIBUTED COOPERATION WITH ACTION SYSTEMS

被引：135
作者：
BACK, RJR [1 ]
KURKISUONIO, R [1 ]
机构：
[1] TAMPERE UNIV TECHNOL,COMP SYST LAB,SF-33101 TAMPERE 10,FINLAND
来源：
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1988年 / 10卷 / 04期
关键词：
D O I：
10.1145/48022.48023
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
37
引用
收藏
页码：513 / 554
页数：42
相关论文
共 37 条
[1]  
APT KR, 1987, 14TH P ACM S POPL, P189
[2]  
Back R.J.R., 1983, 2ND P ACM S PRINC DI, P131
[3]  
BACK RJR, 1988, LECT NOTES COMPUT SC, V317, P52
[4]  
BACK RJR, 1984, REPORTS COMPUTER SCI, V34
[5]  
BACK RJR, 1985, REPORTS COMPUTER SCI, V42
[6]  
BACK RJR, 1984, JAN P WINT SCH THEOR, P1
[7]  
BAGRODIA R, 1987, THESIS U TEXAS AUSTI
[8]   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
[9]   AN EXAMPLE OF STEPWISE REFINEMENT OF DISTRIBUTED PROGRAMS - QUIESCENCE DETECTION [J].
CHANDY, M ;
MISRA, J .
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1986, 8 (03) :326-343
[10]   THE MULTIWAY RENDEZVOUS [J].
CHARLESWORTH, A .
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1987, 9 (03) :350-366
1234