HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
61.
▲
A New Solution of Dijkstra's Concurrent Programming Problem (Lamport, 1974) [pdf]
lamport.azurewebsites.net
discuss
7 years ago
tosh
2 points
62.
▲
Time, Clocks, and the Ordering of Events in a Distributed System (1978) [pdf]
lamport.azurewebsites.net
discuss
7 years ago
wbsun
2 points
63.
▲
Use of Formal Methods at Amazon Web Services (2014) [pdf]
lamport.azurewebsites.net
discuss
7 years ago
panic
2 points
64.
▲
A Science of Concurrent Programs
lamport.azurewebsites.net
1 comment
2 years ago
todsacerdoti
1 points
65.
▲
What Good Is Temporal Logic? (1983) [pdf]
lamport.azurewebsites.net
1 comment
9 years ago
michaelsbradley
1 points
66.
▲
Paxos made simple (2001) [pdf]
lamport.azurewebsites.net
discuss
4 months ago
vinhnx
1 points
67.
▲
Time, Clocks and the Ordering of Events in a Distributed System (1978)
lamport.azurewebsites.net
discuss
2 years ago
veqq
1 points
68.
▲
Introduction to TLA+
lamport.azurewebsites.net
discuss
2 years ago
lovestaco
1 points
69.
▲
The TLA+ Video Course
lamport.azurewebsites.net
discuss
3 years ago
gits1225
1 points
70.
▲
Should Your Specification Language Be Typed? (1999) [pdf]
lamport.azurewebsites.net
discuss
3 years ago
Tomte
1 points
71.
▲
TLA+ Video Course (2021)
lamport.azurewebsites.net
discuss
4 years ago
Tomte
1 points
72.
▲
Should Your Specification Language Be Typed? (1999) [pdf]
lamport.azurewebsites.net
discuss
4 years ago
Tomte
1 points
73.
▲
State the Problem Before Describing the Solution [pdf]
lamport.azurewebsites.net
discuss
4 years ago
sciurus
1 points
74.
▲
TLA+: a high-level language for modeling programs and systems
lamport.azurewebsites.net
discuss
5 years ago
kvnhn
1 points
75.
▲
Should Your Specification Language Be Typed? (1999) [pdf]
lamport.azurewebsites.net
discuss
5 years ago
Tomte
1 points
76.
▲
Should Your Specification Language Be Typed? (1999) [pdf]
lamport.azurewebsites.net
discuss
7 years ago
Tomte
1 points
77.
▲
The TLA Home Page
lamport.azurewebsites.net
discuss
7 years ago
Tomte
1 points
78.
▲
Should Your Specification Language Be Typed? (1999) [pdf]
lamport.azurewebsites.net
discuss
7 years ago
Tomte
1 points
79.
▲
[pdf] the Part-Time Parliament
lamport.azurewebsites.net
discuss
8 years ago
endisukaj
1 points
80.
▲
Use of Formal Methods at Amazon Web Services [pdf](2014)
lamport.azurewebsites.net
discuss
9 years ago
irfansharif
1 points