Search: lamport.azurewebsites.net | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

A New Solution of Dijkstra's Concurrent Programming Problem (Lamport, 1974) [pdf] (lamport.azurewebsites.net)

2 points

7 years ago

62.

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

2 points

7 years ago

63.

Use of Formal Methods at Amazon Web Services (2014) [pdf] (lamport.azurewebsites.net)

2 points

7 years ago

64.

A Science of Concurrent Programs (lamport.azurewebsites.net)

1 point

2 years ago

65.

What Good Is Temporal Logic? (1983) [pdf] (lamport.azurewebsites.net)

1 point

michaelsbradley

9 years ago

66.

Paxos made simple (2001) [pdf] (lamport.azurewebsites.net)

1 point

4 months ago

67.

Time, Clocks and the Ordering of Events in a Distributed System (1978) (lamport.azurewebsites.net)

1 point

2 years ago

68.

Introduction to TLA+ (lamport.azurewebsites.net)

1 point

2 years ago

69.

The TLA+ Video Course (lamport.azurewebsites.net)

1 point

3 years ago

70.

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

1 point

3 years ago

71.

TLA+ Video Course (2021) (lamport.azurewebsites.net)

1 point

4 years ago

72.

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

1 point

4 years ago

73.

State the Problem Before Describing the Solution [pdf] (lamport.azurewebsites.net)

1 point

4 years ago

74.

TLA+: a high-level language for modeling programs and systems (lamport.azurewebsites.net)

1 point

5 years ago

75.

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

1 point

5 years ago

76.

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

1 point

7 years ago

77.

The TLA Home Page (lamport.azurewebsites.net)

1 point

7 years ago

78.

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

1 point

7 years ago

79.

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

1 point

8 years ago

80.

Use of Formal Methods at Amazon Web Services [pdf](2014) (lamport.azurewebsites.net)

1 point

9 years ago