SYMMETRIC INTERTASK COMMUNICATION

被引：5
作者：
FRANCEZ, N [1 ]
YEMINI, SA [1 ]
机构：
[1] IBM CORP,THOMAS J WATSON RES CTR,YORKTOWN HTS,NY 10598
来源：
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1985年 / 7卷 / 04期
关键词：
D O I：
10.1145/4472.4475
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：622 / 636
页数：15
相关论文
共 24 条
[1]  
BLUM EK, 1982, RELATIONSHIP NUMERIC
[2]   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
[3]   THOTH, A PORTABLE REAL-TIME OPERATING SYSTEM [J].
CHERITON, DR ;
MALCOLM, MA ;
MELEN, LS ;
SAGER, GR .
COMMUNICATIONS OF THE ACM, 1979, 22 (02) :105-115
[4]  
COHN O, COMMUNICATION
[5]  
Dijkstra E. W., 1976, DISCIPLINE PROGRAMMI
[6]  
DONZEAUGOUGE V, 1980, FORMAL DEFINITION AD
[7]   A WEAKEST PRECONDITION SEMANTICS FOR COMMUNICATING PROCESSES [J].
ELRAD, T ;
FRANCEZ, N .
THEORETICAL COMPUTER SCIENCE, 1984, 29 (03) :231-250
[8]   EXTENDED NAMING CONVENTIONS FOR COMMUNICATING PROCESSES [J].
FRANCEZ, N .
SCIENCE OF COMPUTER PROGRAMMING, 1983, 3 (01) :101-114
[9]  
FRANCEZ N, 1980, 21ST P S F COMP SCI
[10]   MESSAGE PASSING BETWEEN SEQUENTIAL PROCESSES - THE REPLY PRIMITIVE AND THE ADMINISTRATOR CONCEPT [J].
GENTLEMAN, WM .
SOFTWARE-PRACTICE & EXPERIENCE, 1981, 11 (05) :435-466
123