AXIOMS FOR MEMORY ACCESS IN ASYNCHRONOUS HARDWARE SYSTEMS

被引：61

作者：

MISRA, J

机构：

来源：

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1986年 / 8卷 / 01期

关键词：

D O I：

10.1145/5001.5007

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：142 / 153

页数：12

共 10 条

[1]

CHANEY TJ, 1973, IEEE T COMPUT APR, P421

[2] CONCURRENT READING AND WRITING [J].

LAMPORT, L .

[3]

LAMPORT L, 1975, CA75032011 MASS COMP

[4]

LAMPORT L, 1979, ACM T PROGRAM LANG S, V1

[5]

MARINO LR, 1981, IEEE T COMPUT, V30

[6]

MILLS HD, 1983, COMBINATORIAL ANAL P

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

OWICKI, S ;

GRIES, D .

[8]

SAUNDERS JM, 1984, ENG DESCRIPTION FLIP

[9]

ULLMAN JD, 1980, PRINCIPLES DATABASE

[10]

WANN D, 1983, IEEE T COMPUT, V32, P264