AXIOMATIC PROOF TECHNIQUE FOR PARALLEL PROGRAMS .1.

被引：483

作者：

OWICKI, S ^{[1
]}

GRIES, D ^{[1
]}

机构：

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

来源：

关键词：

D O I：

10.1007/BF00268134

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：319 / 340

页数：22

共 19 条

[1]

ASHCROFT EA, 1973, CS7301 U WAT DEP COM

[2]

ASHCROFT EA, 1971, FORMALIZATION PROPER, V6, P17

[3]

Cadiou J. M., 1973, 14th Annual Symposium on Switching Automata Theory, P34, DOI 10.1109/SWAT.1973.14

[4]

Clint M., 1973, Acta Informatica, V2, P50, DOI 10.1007/BF00571463

[5]

COOK SA, 1975, TR79 DEP COMP SCI TO

[6] STRUCTURE OF THE-MULTIPROGRAMMING SYSTEM [J].

DIJKSTRA, EW .

[7]

DIJKSTRA EW, 1975, WORKING MATERIAL NAT

[8]

GRIES D, TO BE PUBLISHED

[9] SYNCHRONIZATION OF COMMUNICATING PROCESSES [J].

HABERMANN, AN .

[10]

Hoare C. A. R., 1974, Acta Informatica, V3, P135, DOI 10.1007/BF00264034