• A Science of Concurrent Programs [pdf] https://lamport.azurewebsites.net/tla/science.pdf 33 comments 4/1/2024
• A Science of Concurrent Programs (final draft) https://lamport.azurewebsites.net/tla/science-book.html 3 comments 1/12/2024