ON LAMPORT INTERPROCESSOR COMMUNICATION MODEL

被引：27

作者：

ANGER, FD ^{[1
]}

机构：

[1] FLORIDA INST TECHNOL,DEPT COMP SCI,MELBOURNE,FL 32901

来源：

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1989年 / 11卷 / 03期

关键词：

D O I：

10.1145/65979.65982

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：404 / 417

页数：14

共 15 条

[1]

DIJKSTRA EW, 1975, COMMUN ACM, V18, P453, DOI [10.1145/360933.360975, 10.1145/390016.808417]

[2]

Hansen P. B., 1978, Communications of the ACM, V21, P934, DOI 10.1145/359642.359651

[3] COMMUNICATING SEQUENTIAL PROCESSES [J].

HOARE, CAR .

[4] AN AXIOMATIC BASIS FOR COMPUTER PROGRAMMING [J].

HOARE, CAR .

[5] ON INTERPROCESS COMMUNICATION .2. ALGORITHMS [J].

LAMPORT, L .

[6] THE MUTUAL EXCLUSION PROBLEM .2. STATEMENT AND SOLUTIONS [J].

LAMPORT, L .

[7]

Lamport L., 1979, ACM Transactions on Programming Languages and Systems, V1, P84, DOI 10.1145/357062.357068

LAMPORT, L .

[9] TIME, CLOCKS, AND ORDERING OF EVENTS IN A DISTRIBUTED SYSTEM [J].

LAMPORT, L .

[10] ON INTERPROCESS COMMUNICATION .1. BASIC FORMALISM [J].

LAMPORT, L .