ON THE DESIGN OF CONCURRENT PROGRAMS.

被引：0

作者：

Hehner, Eric C.R.

机构：

来源：

INFOR Journal | 1980年 / 18卷 / 04期

关键词：

D O I：

10.1080/03155986.1980.11731794

中图分类号：

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

学科分类号：

0812 ;

摘要：

Three benefits are gained by developing a concurrent program from a sequential one in the form of recursive refinement. The methodological benefit is that one procedds in small steps from an understood sequential program. The correctness benefit is that the program is starvation-free without appealing to a fair scheduler. The efficiency benefit is that less mutual exclusion is required than with other concurrent programming methods.

引用

页码：289 / 299

共 50 条

[1] Logical Verification of Concurrent Programs.
Krumm, Heiko
[J]. 1600, (29):
[2] PROBE EFFECT IN CONCURRENT PROGRAMS.
Gait, Jason
[J]. Software - Practice and Experience, 1986, 16 (03) : 225 - 233
[3] SYNTHESIS OF RESOURCE INVARIANTS FOR CONCURRENT PROGRAMS.
Clarke Jr., Edmund Nelson
[J]. 1979, : 211 - 222
[4] FORMAL VERIFICATION OF A CLASS OF CONCURRENT PROGRAMS.
Mori, Masaaki
Taniguchi, Kenichi
Kasami, Tadao
Fujii, Mamoru
[J]. Systems, computers, controls, 1981, 10 (04): : 11 - 20
[5] MODAL LOGIC OF CONCURRENT NONDETERMINISTIC PROGRAMS.
Abrahamson, Karl
[J]. Instrument Maintenance Management, 1979, 70 : 21 - 33
[6] ASSOCIATIVE CONCURRENT EVALUATION OF LOGIC PROGRAMS.
Nakamura, Katsuhiko
[J]. 1600, (01):
[7] AUTOMATED DESIGN OF CONTROL PROGRAMS.
Poplavskii, V.S.
Teitel'man, B.L.
[J]. 1600, (04):
[8] METHODOLOGY FOR THE DESIGN OF PARALLEL PROGRAMS.
Mattheyses, R.M.
Conry, S.E.
[J]. 1978, : 651 - 655
[9] SYNTHESIS OF NETWORK STRUCTURE DESIGN PROGRAMS.
Kikot, P.B.
[J]. Programming and Computer Software (English Translation of Programmirovanie), 1983, 9 (04): : 178 - 184
[10] Techniques for the Design of Industrial Application Programs.
Oesterle, H.
[J]. Angewandte Informatik/Applied Informatics, 1977, 19 (06): : 249 - 257

← 1 2 3 4 5 →