Search: lamport.azurewebsites.net | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Computation and State Machines (2008) [pdf] (lamport.azurewebsites.net)

9 points

9 years ago

32.

Specifying Systems (TLA+ Book) out and free for personal use (lamport.azurewebsites.net)

8 points

8 years ago

33.

Reaching Agreement in the Presence of Faults (1980) [pdf] (lamport.azurewebsites.net)

5 points

7 years ago

34.

Why Computer Scientists Don't Learn Math (2017) (lamport.azurewebsites.net)

4 points

a month ago

35.

Leslie Lamport's Annotated Writings (creator of LaTeX, TLA+, Paxos) (lamport.azurewebsites.net)

4 points

6 months ago

36.

Leslie Lamport: collected works (2019) (lamport.azurewebsites.net)

4 points

6 years ago

37.

How to Write a Proof by Leslie Lamport (1993) [pdf] (lamport.azurewebsites.net)

4 points

7 years ago

38.

How to Write a 21st Century Proof – Leslie Lamport 2011 [pdf] (lamport.azurewebsites.net)

3 points

a year ago

39.

Teaching Concurrency (2009) [pdf] (lamport.azurewebsites.net)

3 points

2 years ago

40.

The Paxos Algorithm or How to Win a Turing Award (lamport.azurewebsites.net)

3 points

2 years ago

41.

How to tell a program from an automobile (1977) [pdf] (lamport.azurewebsites.net)

3 points

2 years ago

42.

Specifying Systems by Leslie Lamport (lamport.azurewebsites.net)

3 points

3 years ago

43.

The Writings of Leslie Lamport (lamport.azurewebsites.net)

3 points

4 years ago

44.

PlusCal Tutorial (lamport.azurewebsites.net)

3 points

5 years ago

45.

The TLA Home Page (lamport.azurewebsites.net)

3 points

5 years ago

46.

TLA+ is a language for modeling concurrent and distributed programs and systems (lamport.azurewebsites.net)

3 points

5 years ago

47.

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Eng [pdf] (lamport.azurewebsites.net)

3 points

6 years ago

48.

Should Your Specification Language Be Typed? (1999) [pdf] (lamport.azurewebsites.net)

3 points

6 years ago

49.

TLA+ Video Course (lamport.azurewebsites.net)

3 points

8 years ago

50.

The Future of Computing: Logic or Biology (2003) [pdf] (lamport.azurewebsites.net)

3 points

8 years ago

51.

The Mutual Exclusion Problem Has Been Solved [pdf] (lamport.azurewebsites.net)

3 points

9 years ago

52.

TLA in Pictures [pdf] (lamport.azurewebsites.net)

2 points

3 years ago

53.

The TLA Home Page (lamport.azurewebsites.net)

2 points

3 years ago

54.

What good is temporal logic? [pdf] (lamport.azurewebsites.net)

2 points

3 years ago

55.

The TLA+ Home Page (lamport.azurewebsites.net)

2 points

4 years ago

56.

The Writings of Leslie Lamport (lamport.azurewebsites.net)

2 points

4 years ago

57.

Should Your Specification Language Be Typed? (1999) [pdf] (lamport.azurewebsites.net)

2 points

5 years ago

58.

Time, Clocks, and the Ordering of Events in a Distributed System––Leslie Lamport [pdf] (lamport.azurewebsites.net)

2 points

5 years ago

59.

The TLA Home Page (lamport.azurewebsites.net)

2 points

5 years ago

60.

The Part-Time Parliament (1998) [pdf] (lamport.azurewebsites.net)

2 points

7 years ago