SEMANTIC INDEPENDENCE

被引：5

作者：

BEST, E

LENGAUER, C

机构：

[1] GESELL MATH & DATENVERARBEITUNG GMBH,INST METHODISCHE GRUNDLAGEN,W-5205 ST AUGUSTIN 1,GERMANY

[2] UNIV TEXAS,DEPT COMP SCI,AUSTIN,TX 78712

来源：

关键词：

D O I：

10.1016/0167-6423(89)90014-2

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：23 / 50

页数：28

共 10 条

[1] BAUER FL, 1981, ALGORITHMISCHE SPRAC
[2] ANALYSIS OF PROGRAMS FOR PARALLEL PROCESSING
BERNSTEIN, AJ
[J]. IEEE TRANSACTIONS ON ELECTRONIC COMPUTERS, 1966, EC15 (05): : 757 - +
[3] A FORMAL MODEL OF ATOMICITY IN ASYNCHRONOUS SYSTEMS
BEST, E
RANDELL, B
[J]. ACTA INFORMATICA, 1981, 16 (01) : 93 - 124
[4] BEST E, 1987, 8TH P WORKSH APPL TH
[5] GRIES D, 1981, TEXTS MONOGRAPHS COM
[6] A METHODOLOGY FOR PROGRAMMING WITH CONCURRENCY - THE FORMALISM
LENGAUER, C
[J]. SCIENCE OF COMPUTER PROGRAMMING, 1982, 2 (01) : 19 - 52
[7] MAZURKIEWICZ A, 1977, DAIMIPB78 ARH U COMP
[8] AXIOMATIC PROOF TECHNIQUE FOR PARALLEL PROGRAMS .1.
OWICKI, S
GRIES, D
[J]. ACTA INFORMATICA, 1976, 6 (04) : 319 - 340
[9] PNUELI A, 1986, LECT NOTES COMPUT SC, V224, P510
[10] REYNOLDS JC, 1978, 5 ACM S PRINC PROGR, P39