SEMANTICS OF NONDETERMINISM, CONCURRENCY, AND COMMUNICATION

被引：56

作者：

FRANCEZ, N

HOARE, CAR

LEHMANN, DJ

DEROEVER, WP

机构：

[1] OXFORD UNIV,PROGRAMMING RES GRP,OXFORD OX2 6PE,ENGLAND

[2] HEBREW UNIV JERUSALEM,DEPT COMP SCI,JERUSALEM 91000,ISRAEL

[3] UNIV SO CALIF,LOS ANGELES,CA 90007

[4] STATE UNIV UTRECHT,DEPT COMP SCI,UTRECHT,NETHERLANDS

[5] QUEENS UNIV BELFAST,BELFAST BT7 1NN,ANTRIM,NORTH IRELAND

[6] UNIV CALIF BERKELEY,BERKELEY,CA 94720

来源：

JOURNAL OF COMPUTER AND SYSTEM SCIENCES | 1979年 / 19卷 / 03期

基金：

美国国家科学基金会;

关键词：

D O I：

10.1016/0022-0000(79)90006-0

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

[No abstract available]

引用

页码：290 / 308

页数：19

共 25 条

[1]

APT KR, UNPUBLISHED

[2]

BRINCHHANSEN P, 1975, IEEE T SOFTWARE ENG, V1, P199

[3]

Clint M., 1973, Acta Informatica, V2, P50, DOI 10.1007/BF00571463

[4]

DEBAKKER JW, 1976, 3RD P C AUT LANG PRO

[5]

Dijkstra E., 1976, DISCIPLINE PROGRAMMI

[6]

DIJKSTRA EW, 1977, EWD608

[7]

DIJKSTRA EW, EWD607

[8]

Egli H., 1975, MATH MODEL NONDETERM

[9]

GOGUEN J, 1977, JUL P IFIP WORK C FO

[10] MONITORS - OPERATING SYSTEM STRUCTURING CONCEPT [J].

HOARE, CAR .

COMMUNICATIONS OF THE ACM, 1974, 17 (10) :549-557

← 1 2 3 →