THE HOARE LOGIC OF CONCURRENT PROGRAMS

被引：59

作者：

LAMPORT, L

机构：

来源：

关键词：

D O I：

10.1007/BF00289062

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：21 / 37

页数：17

共 7 条

[1] PROVING ASSERTIONS ABOUT PARALLEL PROGRAMS [J].

ASHCROFT, EA .

[2]

FLOYD RW, 1967, P S APPL MATH AM MAT, P19

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

HOARE, CAR .

[4] PROVING CORRECTNESS OF MULTI-PROCESS PROGRAMS [J].

LAMPORT, L .

[5]

LAMPORT L, 1980, 7TH P ANN S PRINC PR

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

OWICKI, S ;

GRIES, D .

[7]

PNUELI A, 1977, 18TH P S F COMP SCI