Search: lamport.azurewebsites.net | Heykuki News

HK

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 years ago

9 points

32.

Specifying Systems (TLA+ Book) out and free for personal use

lamport.azurewebsites.net

8 years ago

8 points

33.

Reaching Agreement in the Presence of Faults (1980) [pdf]

lamport.azurewebsites.net

7 years ago

5 points

34.

Why Computer Scientists Don't Learn Math (2017)

lamport.azurewebsites.net

2 months ago

4 points

35.

Leslie Lamport's Annotated Writings (creator of LaTeX, TLA+, Paxos)

lamport.azurewebsites.net

6 months ago

4 points

36.

Leslie Lamport: collected works (2019)

lamport.azurewebsites.net

6 years ago

4 points

37.

How to Write a Proof by Leslie Lamport (1993) [pdf]

lamport.azurewebsites.net

7 years ago

4 points

38.

How to Write a 21st Century Proof – Leslie Lamport 2011 [pdf]

lamport.azurewebsites.net

a year ago

3 points

39.

Teaching Concurrency (2009) [pdf]

lamport.azurewebsites.net

2 years ago

3 points

40.

The Paxos Algorithm or How to Win a Turing Award

lamport.azurewebsites.net

2 years ago

3 points

41.

How to tell a program from an automobile (1977) [pdf]

lamport.azurewebsites.net

2 years ago

3 points

42.

Specifying Systems by Leslie Lamport

lamport.azurewebsites.net

3 years ago

3 points

43.

The Writings of Leslie Lamport

lamport.azurewebsites.net

4 years ago

3 points

44.

PlusCal Tutorial

lamport.azurewebsites.net

5 years ago

3 points

45.

The TLA Home Page

lamport.azurewebsites.net

5 years ago

3 points

46.

TLA+ is a language for modeling concurrent and distributed programs and systems

lamport.azurewebsites.net

5 years ago

3 points

47.

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Eng [pdf]

lamport.azurewebsites.net

6 years ago

3 points

48.

Should Your Specification Language Be Typed? (1999) [pdf]

lamport.azurewebsites.net

7 years ago

3 points

49.

TLA+ Video Course

lamport.azurewebsites.net

8 years ago

3 points

50.

The Future of Computing: Logic or Biology (2003) [pdf]

lamport.azurewebsites.net

8 years ago

3 points

51.

The Mutual Exclusion Problem Has Been Solved [pdf]

lamport.azurewebsites.net

9 years ago

3 points

52.

TLA in Pictures [pdf]

lamport.azurewebsites.net

3 years ago

2 points

53.

The TLA Home Page

lamport.azurewebsites.net

3 years ago

2 points

54.

What good is temporal logic? [pdf]

lamport.azurewebsites.net

3 years ago

2 points

55.

The TLA+ Home Page

lamport.azurewebsites.net

4 years ago

2 points

56.

The Writings of Leslie Lamport

lamport.azurewebsites.net

4 years ago

2 points

57.

Should Your Specification Language Be Typed? (1999) [pdf]

lamport.azurewebsites.net

5 years ago

2 points

58.

Time, Clocks, and the Ordering of Events in a Distributed System––Leslie Lamport [pdf]

lamport.azurewebsites.net

5 years ago

2 points

59.

The TLA Home Page

lamport.azurewebsites.net

5 years ago

2 points

60.

The Part-Time Parliament (1998) [pdf]

lamport.azurewebsites.net

7 years ago

2 points