CALCULI FOR SYNCHRONY AND ASYNCHRONY

被引：423

作者：

MILNER, R

机构：

来源：

THEORETICAL COMPUTER SCIENCE | 1983年 / 25卷 / 03期

关键词：

D O I：

10.1016/0304-3975(83)90114-7

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：267 / 310

页数：44

相关论文

共 19 条

[1]

CARDELLI L, 1982, LECT NOTES COMPUT SC, V140, P94

[2]

HENNESSY M, 1982, LECTURE NOTES COMPUT, V88

[3]

HENNESSY M, 1981, CSR7781 ED U COMP SC

[4]

HOARE C, 1981, THEORY COMMUNICATING

[5]

HOARE CAR, 1978, MODEL COMMUNICATING

[6]

LAMPORT L, 1980, 7TH P ACM S PRINC PR

[7] CONCURRENT PROCESSES AND THEIR SYNTAX [J].

MILNE, G ;

MILNER, R .

JOURNAL OF THE ACM, 1979, 26 (02) :302-321

[8]

MILNE G, 1979, SYNCHRONIZED BEHAVIO

[9]

MILNER R, 1982, 1982 P ACM SIGACT SI, P104

[10]

MILNER R, 1973, LOGIC C, V72, P157