| | TLA+: a high-level language for modeling programs and systems (lamport.azurewebsites.net) |
|
1 point by kvnhn on July 1, 2021 | past
|
|
| | TLA+ is a language for modeling concurrent and distributed programs and systems (lamport.azurewebsites.net) |
|
3 points by one2three4 on June 10, 2021 | past
|
|
| | Time, Clocks, and the Ordering of Events in a Distributed System––Leslie Lamport [pdf] (lamport.azurewebsites.net) |
|
2 points by evanb on April 28, 2021 | past
|
|
| | Should Your Specification Language Be Typed? (1999) [pdf] (lamport.azurewebsites.net) |
|
1 point by Tomte on April 1, 2021 | past
|
|
| | The TLA Home Page (lamport.azurewebsites.net) |
|
2 points by Tomte on March 22, 2021 | past
|
|
| | The TLA+ Video Course (lamport.azurewebsites.net) |
|
62 points by thepace on Dec 23, 2020 | past | 3 comments
|
|
| | Distributed system definition at DEC SRC bulletin board (1987) (lamport.azurewebsites.net) |
|
27 points by sunainapai on July 27, 2020 | past | 4 comments
|
|
| | The Writings of Leslie Lamport (lamport.azurewebsites.net) |
|
157 points by kaymanb on May 29, 2020 | past | 10 comments
|
|
| | Leslie Lamport: collected works (2019) (lamport.azurewebsites.net) |
|
4 points by simonebrunozzi on Feb 13, 2020 | past
|
|
| | The Byzantine Generals Problem (1982) [pdf] (lamport.azurewebsites.net) |
|
163 points by simonebrunozzi on Feb 13, 2020 | past | 56 comments
|
|
| | Specifying Systems: The TLA+ Language and Tools for Hardware and Software Eng [pdf] (lamport.azurewebsites.net) |
|
3 points by Anon84 on Jan 20, 2020 | past
|
|
| | Should Your Specification Language Be Typed? (1999) [pdf] (lamport.azurewebsites.net) |
|
3 points by Tomte on Dec 20, 2019 | past
|
|
| | The Part-Time Parliament (1998) [pdf] (lamport.azurewebsites.net) |
|
2 points by tosh on Aug 31, 2019 | past
|
|
| | The Paxos Algorithm, or How to Win a Turing Award (lamport.azurewebsites.net) |
|
328 points by pron on Aug 30, 2019 | past | 83 comments
|
|
| | A New Solution of Dijkstra's Concurrent Programming Problem (Lamport, 1974) [pdf] (lamport.azurewebsites.net) |
|
2 points by tosh on June 28, 2019 | past
|
|
| | Bronx High School Math Bulletin (1957) [pdf] (lamport.azurewebsites.net) |
|
65 points by amykyta on June 19, 2019 | past | 18 comments
|
|
| | Time, Clocks, and the Ordering of Events in a Distributed System (1978) [pdf] (lamport.azurewebsites.net) |
|
2 points by wbsun on May 20, 2019 | past
|
|
| | Should Your Specification Language Be Typed? (1999) [pdf] (lamport.azurewebsites.net) |
|
1 point by Tomte on May 7, 2019 | past
|
|
| | TLA+: design, model, document, and verify concurrent systems (lamport.azurewebsites.net) |
|
148 points by lolptdr on May 3, 2019 | past | 32 comments
|
|
| | Reaching Agreement in the Presence of Faults (1980) [pdf] (lamport.azurewebsites.net) |
|
6 points by apoorvgarg on April 23, 2019 | past
|
|
| | How to Write a Proof by Leslie Lamport (1993) [pdf] (lamport.azurewebsites.net) |
|
4 points by logicbundle on April 23, 2019 | past
|
|
| | The TLA Home Page (lamport.azurewebsites.net) |
|
1 point by Tomte on April 6, 2019 | past
|
|
| | Time, Clocks, and the Ordering of Events in a Distributed System [pdf] (lamport.azurewebsites.net) |
|
20 points by happy-go-lucky on Jan 27, 2019 | past | 2 comments
|
|
| | Use of Formal Methods at Amazon Web Services (2014) [pdf] (lamport.azurewebsites.net) |
|
2 points by panic on Jan 22, 2019 | past
|
|
| | Should Your Specification Language Be Typed? (1999) [pdf] (lamport.azurewebsites.net) |
|
1 point by Tomte on Jan 9, 2019 | past
|
|
| | [pdf] the Part-Time Parliament (lamport.azurewebsites.net) |
|
1 point by endisukaj on Sept 27, 2018 | past
|
|
| | Computation and State Machines (2008) [pdf] (lamport.azurewebsites.net) |
|
83 points by bechap on Sept 18, 2018 | past | 8 comments
|
|
| | The Byzantine Generals Problem (1982) [pdf] (lamport.azurewebsites.net) |
|
127 points by xkgt on Aug 6, 2018 | past | 21 comments
|
|
| | TLA+ Video Course (lamport.azurewebsites.net) |
|
3 points by ScottWRobinson on July 21, 2018 | past
|
|
| | The Future of Computing: Logic or Biology (2003) [pdf] (lamport.azurewebsites.net) |
|
126 points by panic on July 4, 2018 | past | 47 comments
|
|
|
|
More |
