A PROOF TECHNIQUE FOR COMMUNICATING SEQUENTIAL PROCESSES

被引：71

作者：

LEVIN, GM ^{[1
]}

GRIES, D ^{[1
]}

机构：

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

来源：

ACTA INFORMATICA | 1981年 / 15卷 / 03期

关键词：

D O I：

10.1007/BF00289266

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

收藏

页码：281 / 302

页数：22

相关论文

共 16 条

[11]

HOARE CAR, 1979, AUG PROGR METH C SAN

[12]

LEVIN G, 1980, THESIS CORNELL U

[13]

LEVIN GM, 1979, TR79401 CORN U COMP

[14] AXIOMATIC PROOF TECHNIQUE FOR PARALLEL PROGRAMS .1. [J].

OWICKI, S ;

GRIES, D .

ACTA INFORMATICA, 1976, 6 (04) :319-340

[15]

SCHNEIDER FB, 1981, TR79391 CORN U DEP C

[16]

SILBERSCHTZ A, 1979, IEEE T SOFTW ENG, V6, P542