DESIGN AND PROOF OF COMMUNICATING SEQUENTIAL PROCESSES

被引：0

|

作者：

GRIBOMONT, EP

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1987年 / 259卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：261 / 276

页数：16

相关论文

共 50 条

[1] A PROOF TECHNIQUE FOR COMMUNICATING SEQUENTIAL PROCESSES
LEVIN, GM
GRIES, D
[J]. ACTA INFORMATICA, 1981, 15 (03) : 281 - 302
[2] A Proof System for Communicating Sequential Processes
Apt, Krzysztof R.
Francez, Nissim
De Roever, Willem P.
[J]. ACM Transactions on Programming Languages and Systems, 1980, 2 (03): : 359 - 385
[3] A PROOF SYSTEM FOR COMMUNICATING SEQUENTIAL PROCESSES - COMMENT
MOITRA, A
[J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1983, 5 (03): : 500 - 501
[4] FORMAL JUSTIFICATION OF A PROOF SYSTEM FOR COMMUNICATING SEQUENTIAL PROCESSES
APT, KR
[J]. JOURNAL OF THE ACM, 1983, 30 (01) : 197 - 216
[5] ON COMMUNICATING SEQUENTIAL PROCESSES
PANDEY, BD
PATHAK, SS
[J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1995, 27 (09): : 1333 - 1348
[6] COMMUNICATING SEQUENTIAL PROCESSES
HOARE, CAR
[J]. COMMUNICATIONS OF THE ACM, 1978, 21 (08) : 666 - 677
[7] DESIGN AND IMPLEMENTATION OF AN EXCEPTION HANDLING MECHANISM FOR COMMUNICATING SEQUENTIAL PROCESSES
ISSARNY, V
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 457 : 604 - 615
[8] A THEORY OF COMMUNICATING SEQUENTIAL PROCESSES
BROOKES, SD
HOARE, CAR
ROSCOE, AW
[J]. JOURNAL OF THE ACM, 1984, 31 (03) : 560 - 599
[9] A SEMANTICS AND PROOF SYSTEM FOR COMMUNICATING PROCESSES
BROOKES, SD
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1984, 164 : 68 - 85
[10] COMMUNICATING SEQUENTIAL PROCESSES FOR CENTRALIZED AND DISTRIBUTED OPERATING SYSTEM-DESIGN
HULL, MEC
MCKEAG, RM
[J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1984, 6 (02): : 175 - 191

← 1 2 3 4 5 →