SPECIFYING CONCURRENT PROGRAM MODULES

被引：245

作者：

LAMPORT, L

机构：

来源：

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1983年 / 5卷 / 02期

关键词：

D O I：

10.1145/69624.357207

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：190 / 222

页数：33

共 11 条

[1]

Hailpern B., 1980, Proceedings of Trends & Applications: 1980 Computer Network Protocols, P18

[2]

HERZOG O, 1979, LECTURE NOTES COMPUT, V70, P66

[3] CONCURRENT READING AND WRITING [J].

LAMPORT, L .

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

LAMPORT, L .

[5]

LAMPORT L, 1980, 7TH ANN ACM S PRINC, P174

[6] PROVING LIVENESS PROPERTIES OF CONCURRENT PROGRAMS [J].

OWICKI, S ;

LAMPORT, L .

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1982, 4 (03) :455-495

[7]

Pnueli A., 1977, 18th Annual Symposium on Foundations of Computer Science, P46, DOI 10.1109/SFCS.1977.32

[8]

SCHWARTZ R, 1982, IEEE T COMMUN, V30

[9]

Schwartz R. L., 1981, 2nd International Conference on Distributed Computing Systems, P446

[10] FORMAL METHODS IN COMMUNICATION PROTOCOL DESIGN [J].

VONBOCHMANN, G ;

SUNSHINE, CA .