COMMUNICATING SEQUENTIAL PROCESSES

被引:2186
作者
HOARE, CAR [1 ]
机构
[1] QUEENS UNIV BELFAST,BELFAST BT7 1NN,ANTRIM,NORTH IRELAND
关键词
D O I
10.1145/359576.359585
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:666 / 677
页数:12
相关论文
共 20 条
[1]  
ATKINSON R, 1976, MIT83 WORK PAP
[2]  
BRINCHHANSEN P, 1975, IEEE T SOFTWARE ENG, V1, P199
[3]  
CAMPBELL RH, 1974, LECTURE NOTES COMPUT, V16, P89
[4]   DESIGN OF A SEPARABLE TRANSITION-DIAGRAM COMPILER [J].
CONWAY, ME .
COMMUNICATIONS OF THE ACM, 1963, 6 (07) :396-408
[5]  
DAHL OJ, 1967, SIMULA67 NORW COMP C
[6]  
Dijkstra E. W., 1968, Programming languages, P43
[7]  
DIJKSTRA EW, 1975, COMMUN ACM, V18, P453, DOI 10.1145/390016.808417
[8]  
DIJKSTRA EW, 1975, COMMUNICATION AUG
[9]  
DIJKSTRA EW, 1972, STRUCT PROGRAM, P1
[10]  
Hoare C. A. R., 1972, Acta Informatica, V1, P271, DOI 10.1007/BF00289507