AN APPROACH TO AUTOMATING THE VERIFICATION OF COMPACT PARALLEL COORDINATION PROGRAMS .1.

被引：33

作者：

LUBACHEVSKY, BD

机构：

[1] New York Univ, Computer Science Dep,, New York, NY, USA, New York Univ, Computer Science Dep, New York, NY, USA

来源：

ACTA INFORMATICA | 1984年 / 21卷 / 02期

关键词：

D O I：

10.1007/BF00289237

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：125 / 169

页数：45

共 27 条

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

ASHCROFT, EA .

JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1975, 10 (01) :110-135

[2]

BENARI M, 1982, CS8212 WEIZM I SCI D

[3]

Clarke E. M. Jr., 1980, ACM Transactions on Programming Languages and Systems, V2, P338, DOI 10.1145/357103.357109

[4] CONCURRENT CONTROL WITH READERS AND WRITERS [J].

COURTOIS, PJ ;

HEYMANS, F ;

PARNAS, DL .

COMMUNICATIONS OF THE ACM, 1971, 14 (10) :667-&

[5]

Dijkstra E., 1971, ACTA INFORM, V1, P115, DOI DOI 10.1007/BF00289519

[6] SYSTEM MODELING WITH HIGH-LEVEL PETRI NETS [J].

GENRICH, HJ ;

LAUTENBACH, K .

THEORETICAL COMPUTER SCIENCE, 1981, 13 (01) :109-136

[7] BASIC TECHNIQUES FOR THE EFFICIENT COORDINATION OF VERY LARGE NUMBERS OF COOPERATING SEQUENTIAL PROCESSORS [J].

GOTTLIEB, A ;

LUBACHEVSKY, BD ;

RUDOLPH, L .

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1983, 5 (02) :164-189

[8]

GOTTLIEB A, 1983, IEEE T COMPUTERS, V32

[9] SYNCHRONIZATION OF COMMUNICATING PROCESSES [J].

HABERMANN, AN .

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

[10]

Hopcroft J., 1979, Theoretical Computer Science, V8, P135, DOI 10.1016/0304-3975(79)90041-0

← 1 2 3 →