Get the latest tech news
A Science of Concurrent Programs (final draft)
Leslie Lamport Last modified on 25 October 2024 The book A Science of Concurrent Programs will be published by Cambridge University Press. A final draft of the pdf version of the book is now available.
The book A Science of Concurrent Programs will be published by Cambridge University Press. A final draft of the pdf version of the book is now available. Also available is supporting material consisting of TLA+ specifications of many of the examples in the book and instructions on how to use them.
Or read this on Hacker News
