A PROOF TECHNIQUE FOR COMMUNICATING SEQUENTIAL PROCESSES

被引：71

作者：

LEVIN, GM ^{[1
]}

GRIES, D ^{[1
]}

机构：

[1] CORNELL UNIV,DEPT COMP SCI,ITHACA,NY 14853

来源：

关键词：

D O I：

10.1007/BF00289266

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：281 / 302

页数：22

共 16 条

[1]

APT KR, 1980, TOPLAS, V2, P359

[2]

BERNSTEIN A, 1980, TOPLAS, V2, P234

[3]

CHANDY K, 1979, TR98 U TEX DEP COMP

[4]

CHANDY K, 1980, PROOFS NETWORKS PROC

[5]

Cousot P., 1980, Automata, Languages and Programming, Seventh Colloquium, P119

[6]

Dijkstra E. W., 1976, DISCIPLINE PROGRAMMI

[7]

FRANCEZ N, 1980, TOPLAS, V2, P42

[8]

GRIES D, 1980, TOPLAS, V2, P564

[9] COMMUNICATING SEQUENTIAL PROCESSES [J].

HOARE, CAR .

[10] AN AXIOMATIC BASIS FOR COMPUTER PROGRAMMING [J].

HOARE, CAR .