TCSP - THEORY OF COMMUNICATING SEQUENTIAL PROCESSES

被引：0

|

作者：

OLDEROG, ER

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1987年 / 255卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：441 / 465

页数：25

相关论文

共 50 条

[1] A THEORY OF COMMUNICATING SEQUENTIAL PROCESSES
BROOKES, SD
HOARE, CAR
ROSCOE, AW
[J]. JOURNAL OF THE ACM, 1984, 31 (03) : 560 - 599
[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 →