PROVING LIVENESS PROPERTIES OF CONCURRENT PROGRAMS

被引：250

作者：

OWICKI, S ^{[1
]}

LAMPORT, L ^{[1
]}

机构：

[1] SRI INT,COMP SCI LAB,MENLO PK,CA 94025

来源：

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1982年 / 4卷 / 03期

关键词：

D O I：

10.1145/357172.357178

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：455 / 495

页数：41

共 18 条

[1]

BURSTALL RM, 1974, INFORMATION PROCESSI, V74, P308

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

DIJKSTRA, EW .

COMMUNICATIONS OF THE ACM, 1968, 11 (05) :341-&

[3] THE TOTAL CORRECTNESS OF PARALLEL PROGRAMS [J].

FLON, L ;

SUZUKI, N .

SIAM JOURNAL ON COMPUTING, 1981, 10 (02) :227-246

[4] PROOF METHOD FOR CYCLIC PROGRAMS [J].

FRANCEZ, N ;

PNUELI, A .

ACTA INFORMATICA, 1978, 9 (02) :133-157

[5] SYNCHRONIZATION OF COMMUNICATING PROCESSES [J].

HABERMANN, AN .

COMMUNICATIONS OF THE ACM, 1972, 15 (03) :171-+

[6]

Harel D., 1980, 21st Annual Symposium on Foundations of Computer Science, P129, DOI 10.1109/SFCS.1980.35

[7] FORMAL VERIFICATION OF PARALLEL PROGRAMS [J].

KELLER, RM .

COMMUNICATIONS OF THE ACM, 1976, 19 (07) :371-384

[8]

KWONG YS, 1979, LNCS, V70, P172

[9] THE HOARE LOGIC OF CONCURRENT PROGRAMS [J].

LAMPORT, L .

ACTA INFORMATICA, 1980, 14 (01) :21-37

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

LAMPORT, L .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1977, 3 (02) :125-143

← 1 2 →