A Science of Concurrent Programs - discu.eu

Hacker News

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

Linking pages

December 2024 Monthly Development Update :: TLA+ Foundation https://foundation.tlapl.us/blog/2024-12-dev-update/index.html 2 comments

Related searches:

Search whole site: site:lamport.azurewebsites.net

Search title: A Science of Concurrent Programs

See how to search.

Submit link to: