SRG 11/10: Lamport 1
 Share
The version of the browser you are using is no longer supported. Please upgrade to a supported browser.Dismiss

 
$
%
123
 
 
 
 
 
 
 
 
 
 
 
 
 
 
ABCDEFGHIJKLMNOPQRSTUVWXYZAAAB
1
Instructions
2
Read #1, then your choice of "#2 + #3" (both short) or "#4" (longer)
3
4
ReadersPaper
5
Everyone
1: State the problem before writing the solution
6
Jamie, Usman, ...
2: How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
7
Jamie, Usman, ...
3: A New Solution of Dijkstra's Concurrent Programming Problem
8
Christy, Eric, Aarav, ......
4: Time, Clocks and the Ordering of Events in a Distributed System
9
10
11
These are selected from papers 1-27 here.
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
Loading...
 
 
 
Sheet1
 
 
Main menu