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 ;
摘要：
引用
收藏
页码：290 / 308
页数：19
相关论文
共 50 条
12345