Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  github.com  rust  theverge.com  web  arstechnica.com  show  video  google  game  medicine  microsoft  go  health  brain  psychology  nature.com  techcrunch.com  javascript  psypost.org 

The Future of TLA+ [pdf]

37 days ago lamport.azurewebsites.net formalmethods pdf

Teaching Concurrency (2009)

39 days ago lamport.azurewebsites.net concurrency education formalmethods pdf

How to tell a program from an automobile (PDF). Spoiler: you can prove a program's correctness

5 months ago lamport.azurewebsites.net pdf

A Science of Concurrent Programs [pdf]

9 months ago lamport.azurewebsites.net pdf

Computation and State Machines (2008) [pdf]

15 months ago lamport.azurewebsites.net pdf

Document Production: Visual or Logical? (1987) [pdf]

19 months ago lamport.azurewebsites.net pdf

The TLA+ Video Course

19 months ago lamport.azurewebsites.net video

PlusCal Tutorial

2 years ago lamport.azurewebsites.net tutorial

Distributed system definition at DEC SRC bulletin board (1987)

4 years ago lamport.azurewebsites.net

The Writings of Leslie Lamport

4 years ago lamport.azurewebsites.net

The Byzantine Generals Problem

4 years ago lamport.azurewebsites.net

TLA+ Video Course by Leslie Lamport

4 years ago lamport.azurewebsites.net video

The Paxos Algorithm, or How to Win a Turing Award

5 years ago lamport.azurewebsites.net algorithm turing

Bronx High School Math Bulletin (1957)

5 years ago lamport.azurewebsites.net math

TLA+: design, model, document, and verify concurrent systems

5 years ago lamport.azurewebsites.net

Reaching Agreement in the Presence of Faults (1980)

5 years ago lamport.azurewebsites.net

Leslie Lamport: Computation and State Machines (2008)

6 years ago lamport.azurewebsites.net

The Byzantine Generals Problem (1982)

6 years ago lamport.azurewebsites.net

The Future of Computing: Logic or Biology (2003)

6 years ago lamport.azurewebsites.net biology

TLA+ Video Course by Leslie Lamport

6 years ago lamport.azurewebsites.net video

The TLA+ Video Course by Leslie Lamport

6 years ago lamport.azurewebsites.net video

How to Write a Proof (1993) Lamport

6 years ago lamport.azurewebsites.net

Multiple Byte Processing with Full-Word Instructions - Leslie Lamport (1975)

6 years ago lamport.azurewebsites.net

The Future of Computing: Logic or Biology (2003)

6 years ago lamport.azurewebsites.net biology

TLA+ Video Course

6 years ago lamport.azurewebsites.net video

Multiple Byte Processing with Full-Word Instructions (1975)

7 years ago lamport.azurewebsites.net

On-The-Fly Garbage Collection: An Exercise in Cooperation (1978)

7 years ago lamport.azurewebsites.net

Leslie Lamport: Video course on TLA+

7 years ago lamport.azurewebsites.net video

Computer Scientists Don't Learn Math

7 years ago lamport.azurewebsites.net math