A THEORY OF COMMUNICATING SEQUENTIAL PROCESSES

被引：598

|

作者：

BROOKES, SD ^{[1
]}

HOARE, CAR ^{[1
]}

ROSCOE, AW ^{[1
]}

机构：

[1] UNIV OXFORD,PROGRAMMING RES GRP,OXFORD OX1 3QD,ENGLAND

来源：

JOURNAL OF THE ACM | 1984年 / 31卷 / 03期

关键词：

D O I：

10.1145/828.833

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

收藏

页码：560 / 599

页数：40

相关论文

共 50 条

[1] TCSP - THEORY OF COMMUNICATING SEQUENTIAL PROCESSES
OLDEROG, ER
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 255 : 441 - 465
[2] A COMPLETE SET OF AXIOMS FOR A THEORY OF COMMUNICATING SEQUENTIAL PROCESSES
DENICOLA, R
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1983, 158 : 115 - 126
[3] ON COMMUNICATING SEQUENTIAL PROCESSES
PANDEY, BD
PATHAK, SS
[J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1995, 27 (09): : 1333 - 1348
[4] COMMUNICATING SEQUENTIAL PROCESSES
HOARE, CAR
[J]. COMMUNICATIONS OF THE ACM, 1978, 21 (08) : 666 - 677
[5] 2 COMPLETE AXIOM SYSTEMS FOR A THEORY OF COMMUNICATING SEQUENTIAL PROCESSES
DENICOLA, R
[J]. INFORMATION AND CONTROL, 1985, 64 (1-3): : 136 - 172
[6] AXIOMATIC SEMANTICS OF COMMUNICATING SEQUENTIAL PROCESSES
SOUNDARARAJAN, N
[J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1984, 6 (04): : 647 - 662
[7] DESIGN AND PROOF OF COMMUNICATING SEQUENTIAL PROCESSES
GRIBOMONT, EP
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 259 : 261 - 276
[8] A TIMED MODEL FOR COMMUNICATING SEQUENTIAL PROCESSES
REED, GM
ROSCOE, AW
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 226 : 314 - 323
[9] AXIOMATIC SEMANTICS OF COMMUNICATING SEQUENTIAL PROCESSES
SOUNDARARAJAN, N
[J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1984, 6 (03): : 647 - 662
[10] A MODEL OF RECONFIGURATION IN COMMUNICATING SEQUENTIAL PROCESSES
JACOB, J
[J]. INFORMATION PROCESSING LETTERS, 1990, 35 (01) : 19 - 22

← 1 2 3 4 5 →